國立高雄大學圖資館 |

Language: English

Back

Functional Verification of Programmable Embedded Architectures :A Top-Down Approach /

Record Type:	Electronic resources : 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:	v.: digital
Subject:	Processor Architectures
Online resource:	http://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 Architectures :A Top-Down Approach /[electronic resource] :by Prabhat Mishra, Nikil D. Dutt. - Boston, MA :Springer Science+Business Media, Inc.,2005. - v.: digital

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

253563
Processor Architectures

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

Dewey Class. No.: 004.2/2

Functional Verification of Programmable Embedded Architectures :A Top-Down Approach /
LDR:00803nmm _22002175a_450 001 175021
003 Springer
005 20070808141507.0
006 m e
007 cr nn 008mamaa
008 090528s2005 nyu j eng d
020 $a 9780387261430 (paper)
020 $a 9780387263991 (electronic bk.)
035 $a 00279435
050 0 0 $a TK7895.E42 $b M57 2005
082 0 0 $2 22 $a 004.2/2
090 $a TK7895.E42 $b M678 2005
100 0 $a Mishra, Prabhat. $3 253937
245 1 0 $a Functional Verification of Programmable Embedded Architectures : $b A Top-Down Approach / $c by Prabhat Mishra, Nikil D. Dutt. $h [electronic resource] :
260 # $a Boston, MA : $c 2005. $b Springer Science+Business Media, Inc.,
300 $b v.: digital
650 # 0 $a Processor Architectures $3 253563
650 # 0 $a Special Purpose and Application-Based Systems $3 253564
650 # 0 $a System Performance and Evaluation $3 253438
650 # 0 $a Computer-Aided Engineering (CAD, CAE) and Design $3 253668
650 # 0 $a Circuits and Systems $3 253885
650 # 0 $a Computer science $3 252805
650 # 0 $a Engineering $3 252507
650 # 0 $a Computer engineering $3 252556
650 # 0 $a Software engineering $3 253562
650 # 0 $a Computer system performance $3 253436
650 # 0 $a Computer aided design $3 253667
650 # 0 $a Systems engineering $3 253884
650 # 0 $a Electronic and Computer Engineering $3 252558
700 0 # $a Dutt, Nikil D.. $3 253936
856 4 0 $u http://libsw.nuk.edu.tw/login?url=http://dx.doi.org/10.1007/b137514 $z http://dx.doi.org/10.1007/b137514
950 $a Engineering (Springer-11647; ZDB-2-ENG)