國立高雄大學圖資館 |

Language: English

Back

High-level verificationmethods and t...

Gupta, Rajesh K.

High-level verificationmethods and tools for verification of system-level designs /

Record Type:	Electronic resources : Monograph/item
Title/Author:	High-level verificationby Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta.
Reminder of title:	methods and tools for verification of system-level designs /
Author:	Kundu, Sudipta.
other author:	Lerner, Sorin.
Published:	New York, NY :Springer Science+Business Media, LLC,2011.
Description:	xiii, 167 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Integrated circuitsVerification.
Online resource:	http://dx.doi.org/10.1007/978-1-4419-9359-5
ISBN:	9781441993595 (electronic bk.)

High-level verificationmethods and tools for verification of system-level designs /
Kundu, Sudipta.

High-level verificationmethods and tools for verification of system-level designs /[electronic resource] :by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta. - New York, NY :Springer Science+Business Media, LLC,2011. - xiii, 167 p. :ill., digital ;24 cm.

ISBN: 9781441993595 (electronic bk.)Subjects--Topical Terms:

185514
Integrated circuits
--Verification.

LC Class. No.: TK7874.58 / .K86 2011

Dewey Class. No.: 621.382

High-level verificationmethods and tools for verification of system-level designs /
LDR:00816nmm 2200229 a 4500 001 296110
003 Springer
005 20110901091644.0
006 m d
007 cr nn 008maaau
008 110908s2011 nyu s j eng d
020 $a 9781441993595 (electronic bk.)
020 $a 9781441993588 (paper)
035 $a 978-1-4419-9358-8
050 4 $a TK7874.58 $b .K86 2011
082 0 4 $a 621.382 $2 23
090 $a TK7874.58 $b .K96 2011
100 1 $a Kundu, Sudipta. $3 514307
245 1 0 $a High-level verification $h [electronic resource] : $b methods and tools for verification of system-level designs / $c by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta.
260 $a New York, NY : $b Springer Science+Business Media, LLC, $c 2011.
300 $a xiii, 167 p. : $b ill., digital ; $c 24 cm.
650 0 $a Integrated circuits $x Verification. $3 185514
650 1 4 $a Engineering. $3 210888
650 2 4 $a Circuits and Systems. $3 274416
650 2 4 $a Computer-Aided Engineering (CAD, CAE) and Design. $3 274500
700 1 $a Lerner, Sorin. $3 514308
700 1 $a Gupta, Rajesh K. $3 514309
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-1-4419-9359-5
950 $a Engineering (Springer-11647)