LEADER 02969nam  2200673Ia 450 
001 9910784566503321
005 20230617004949.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
615  7$aCircuits integrats$xVerificació.
615  0$aIntegrated circuits$xVerification.
615  0$aComputer engineering.
676   $a621.3815/48
700   $aWile$b Bruce$01488137
701   $aGoss$b John C$01488138
701   $aRoesner$b W$g(Wolfgang)$01488139
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910784566503321
996   $aComprehensive functional verification$93708365
997   $aUNINA