國立虎尾科技大學 |

Language: English

Back

Functional verification of programma...

Mishra, Prabhat, (1973-)

Functional verification of programmable embedded architectures : = a top-down approach /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Functional verification of programmable embedded architectures :/ Prabhat Mishra, Nikil D. Dutt.
Reminder of title:	a top-down approach /
Author:	Mishra, Prabhat,
other author:	Dutt, Nikil.
Published:	New York :Springer, : c2005.,
Description:	xviii, 180 p. :ill. ; : 24 cm.;
Subject:	Embedded computer systems - Testing. -
Online resource:	http://www.loc.gov/catdir/enhancements/fy0824/2005049799-t.html
Online resource:	http://www.loc.gov/catdir/enhancements/fy0663/2005049799-d.html
ISBN:	0387263993 (ebk.)

Functional verification of programmable embedded architectures : = a top-down approach /
Mishra, Prabhat,1973-

Functional verification of programmable embedded architectures :a top-down approach /Prabhat Mishra, Nikil D. Dutt. - New York :Springer,c2005. - xviii, 180 p. :ill. ;24 cm.

Includes bibliographical references (p. [167]-178) and index.

ISBN: 0387263993 (ebk.)

LCCN: 2005049799Subjects--Topical Terms:

639621
Embedded computer systems
--Testing.

LC Class. No.: TK7895.E42 / M57 2005

Dewey Class. No.: 004.22

Functional verification of programmable embedded architectures : = a top-down approach /
LDR:00921cam# 00002414a 4500 001 612469
005 20090928113730.0
008 091023s2005 nyua b 001 0 eng
010 $a 2005049799
020 $a 0387263993 (ebk.)
020 $a 9780387261430 (cloth)
020 $a 0387261435 (cloth) : $c NT4680
035 $a 2005049799
040 $a DLC $c NFU $d DLC
041 $a eng
042 $a pcc
050 0 0 $a TK7895.E42 $b M57 2005
082 0 0 $2 22 $a 004.22
100 1 # $a Mishra, Prabhat, $d 1973- $3 639620
245 1 4 $a Functional verification of programmable embedded architectures : $b a top-down approach / $c Prabhat Mishra, Nikil D. Dutt.
260 # # $a New York : $c c2005. $b Springer,
300 # # $a xviii, 180 p. : $b ill. ; $c 24 cm.
504 $a Includes bibliographical references (p. [167]-178) and index.
650 # 0 $a Embedded computer systems $x Testing. $3 639621
650 # 0 $a Computer architecture. $3 528145
650 # 0 $a Integrated circuits $x Verification. $3 639622
700 1 # $a Dutt, Nikil. $3 639623
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/enhancements/fy0824/2005049799-t.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0663/2005049799-d.html