LEADER 03003nam 2200685Ia 450 001 9910458499603321 005 20211014221957.0 010 $a1-281-00839-7 010 $a9786611008390 010 $a1-4237-2233-7 010 $a9780080476643 010 $a0-08-047664-3 035 $a(CKB)1000000000363524 035 $a(EBL)234976 035 $a(OCoLC)467150891 035 $a(SSID)ssj0000127443 035 $a(PQKBManifestationID)11936908 035 $a(PQKBTitleCode)TC0000127443 035 $a(PQKBWorkID)10051525 035 $a(PQKB)10346333 035 $a(MiAaPQ)EBC234976 035 $a(Au-PeEL)EBL234976 035 $a(CaPaEBR)ebr10127906 035 $a(CaONFJC)MIL100839 035 $a(EXLCZ)991000000000363524 100 $a20050727d2005 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aComprehensive functional verification $ethe complete industry cycle$b[electronic resource] /$fBruce Wile, John C. Goss, Wolfgang Roesner 210 $aAmsterdam ;$aBoston $cElsevier/Morgan Kaufmann$dc2005 215 $a1 online resource (702 p.) 225 1 $aSystems on Silicon 300 $aDescription based upon print version of record. 311 1 $a0-12-751803-7 311 1 $a9780127518039 320 $aIncludes bibliographical references (p. 657-662) and index. 327 $aCover; Author Bios; FOREWORD; Table of contents; PREFACE; ACKNOWLEDGEMENTS; PART I: INTRODUCTION TO VERIFICATION; PART II: SIMULATION-BASED VERIFICATION; PART III: FORMAL VERIFICATION; PART IV: COMPREHENSIVE VERIFICATION; PART V: CASE STUDIES; VERIFICATION GLOSSARY; REFERENCES; SUBJECT INDEX 330 $aOne of the biggest challenges in chip and system design is determining whether the hardware works correctly. That is the job of functional verification engineers and they are the audience for this comprehensive text from three top industry professionals.As designs increase in complexity, so has the value of verification engineers within the hardware design team. In fact, the need for skilled verification engineers has grown dramatically--functional verification now consumes between 40 and 70% of a project's labor, and about half its cost. Currently there are very few books on verificat 410 0$aSystems on Silicon 606 $aCircuits integrats$xVerificació$2lemac 606 $aIntegrated circuits$xVerification 606 $aComputer engineering 608 $aElectronic books. 615 7$aCircuits integrats$xVerificació. 615 0$aIntegrated circuits$xVerification. 615 0$aComputer engineering. 676 $a621.3815/48 700 $aWile$b Bruce$01057233 701 $aGoss$b John C$01057234 701 $aRoesner$b W$g(Wolfgang)$01057235 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910458499603321 996 $aComprehensive functional verification$92492358 997 $aUNINA LEADER 01736nam a2200469 i 4500 001 991003603839707536 008 080506m2003 de 001 0 eng d 020 $a3540006621 (v. 1) 035 $ab13722803-39ule_inst 040 $aDip.to Matematica$beng 082 0 $a515.7242$221 084 $aAMS 47F05 084 $aAMS 46F 084 $aAMS 46E 084 $aAMS 26A 084 $aAMS 42A 084 $aAMS 35A 084 $aAMS 35G 084 $aAMS 35J 084 $aLC QA377.H578 100 1 $aHörmander, Lars$031879 245 14$aThe analysis of linear partial differential operators /$cLars Hörmander 250 $a2nd ed. 260 $aBerlin ; New York :$bSpringer-Verlag,$c2003- 300 $av. ;$c24 cm 440 0$aClassics in mathematics 500 $aOriginally published as Vol. 256 in the series: Grundlehren der mathematischen Wissenschaften in 1983 and 1990, and thereafter as a Springer Study Edition in 1990 500 $aReprint of the 2nd Edition 1990 504 $aIncludes bibliographical references and indexes 505 0 $gV. 1:$tDistribution theory and Fourier analysis.$g- ix, 440 p. 650 0$aDistributions 650 0$aGeneralized functions 650 0$aPartial differential equations 650 0$aPartial differential operators 650 0$aPDE 650 0$aSystems with constant coefficients 907 $a.b13722803$b02-04-14$c07-05-08 912 $a991003603839707536 945 $aLE013 47F05 HOR12 V.I (2003)$cV. 1$g1$i2013000207858$lle013$op$pE41.55$q-$rl$s- $t0$u10$v1$w10$x0$y.i14747662$z09-05-08 996 $aAnalysis of linear partial differential operators$982762 997 $aUNISALENTO 998 $ale013$b01-01-94$cm$da $e-$feng$gde $h4$i0