東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Functional Verification of Programma...

Dutt, Nikil D.

Linked to FindBook

Google Book

Amazon

博客來

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/ by Prabhat Mishra, Nikil D. Dutt.
Reminder of title:	A Top-Down Approach /
Author:	Mishra, Prabhat.
other author:	Dutt, Nikil D.
Published:	Boston, MA :Springer Science+Business Media, Inc., : 2005.,
Description:	xviii, 180 p. :ill., digital ;24 cm.
Contained By:	Springer e-books
Subject:	Computer architecture. -
Online resource:	http://dx.doi.org/10.1007/b137514http://dx.doi.org/10.1007/b137514
ISBN:	9780387261430 (paper)

Functional Verification of Programmable Embedded Architectures = A Top-Down Approach /
Mishra, Prabhat.

Functional Verification of Programmable Embedded ArchitecturesA Top-Down Approach /[electronic resource] :by Prabhat Mishra, Nikil D. Dutt. - Boston, MA :Springer Science+Business Media, Inc.,2005. - xviii, 180 p. :ill., digital ;24 cm.

ISBN: 9780387261430 (paper)Subjects--Topical Terms:

559837
Computer architecture.

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

Dewey Class. No.: 004.22

Functional Verification of Programmable Embedded Architectures = A Top-Down Approach /
LDR:00816nam a2200229 a 45 001 766082
003 Springer
005 20080716
006 m d
007 cr nn 008maaau
008 080716s2005 mau j eng d
020 $a 9780387261430 (paper)
020 $a 9780387263991 (electronic bk.)
035 $a 978-0-387-26143-0
040 $a NDHU $c NDHU $d NDHU
050 0 0 $a TK7895.E42 $b M57 2005
082 0 0 $a 004.22 $2 22
100 $a Mishra, Prabhat. $3 896585
245 1 0 $a Functional Verification of Programmable Embedded Architectures $h [electronic resource] : $b A Top-Down Approach / $c by Prabhat Mishra, Nikil D. Dutt.
260 $a Boston, MA : $c 2005. $b Springer Science+Business Media, Inc.,
300 $a xviii, 180 p. : $b ill., digital ; $c 24 cm.
650 $a Computer architecture. $3 559837
650 $a Embedded computer systems $x Testing. $3 832258
650 $a Integrated circuits $x Verification. $3 827163
650 $a Engineering. $3 586835
650 $a Circuits and Systems. $3 896527
650 $a Computer-Aided Engineering (CAD, CAE) and Design. $3 892568
650 $a Electronic and Computer Engineering. $3 891119
650 $a Processor Architectures. $3 892680
650 $a Special Purpose and Application-Based Systems. $3 892492
650 $a System Performance and Evaluation. $3 891353
700 $a Dutt, Nikil D. $3 658762
710 $a SpringerLink (Online service) $3 836513
773 0 $t Springer e-books
856 4 0 $u http://dx.doi.org/10.1007/b137514 $z http://dx.doi.org/10.1007/b137514
950 $a Engineering (Springer-11647; ZDB-2-ENG)