| Record ID | ia:standardizedfunc0000wiem |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/standardizedfunc0000wiem/standardizedfunc0000wiem_marc.xml |
| Download MARC binary | https://www.archive.org/download/standardizedfunc0000wiem/standardizedfunc0000wiem_meta.mrc |
LEADER: 01317cam a22003377a 4500
001 2007929789
003 DLC
005 20130524093543.0
008 070529s2008 nyua 001 0 eng
010 $a 2007929789
015 $aGBA753383$2bnb
016 7 $a013789288$2Uk
020 $a9780387717326 (hbk.)
020 $a0387717323 (hbk.)
020 $a0387717331 (e-ISBN)
020 $a9780387717333 (e-ISBN)
035 $a(OCoLC)ocn176804489
040 $aUKM$cUKM$dIWA$dIXA$dMUQ$dCDN$dDLC
042 $aukblcatcopy$alccopycat
050 00 $aTK7874.58$b.W54 2008
082 04 $a621.381548$222
100 1 $aWiemann, Alan.
245 10 $aStandardized functional verification /$cAlan Wiemann.
260 $aNew York, N.Y :$bSpringer,$cc2008.
300 $axvii, 275 p. :$bill. ;$c24 cm.
500 $aIncludes index.
505 0 $aA Brief Overview of Functional Verification.- Analytical Foundation.- Exploring Functional Space.- Planning and Execution.- Normalizing Data.- Analyzing Results.- Assessing Risk.
650 0 $aIntegrated circuits$xVerification.
650 6 $aCircuits intégrés$xVérification.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0825/2007929789-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0825/2007929789-t.html