MARC record from Internet Archive

LEADER: 06749cam 2200853Ia 4500
001 ocn162592426
003 OCoLC
005 20200108232319.0
008 070806s2003 ne a o 001 0 eng d
006 m o d
007 cr cn|||||||||
040 $aOPELS$beng$epn$cOPELS$dOCLCG$dOCLCQ$dN$T$dYDXCP$dIDEBK$dE7B$dDEBBG$dMERUC$dOCLCO$dOCLCF$dOCLCQ$dAGLDB$dOCLCQ$dSTF$dD6H$dOCLCQ$dVTS$dCEF$dOCLCQ$dG3B$dLEAUB$dM8D
019 $a123306140$a154712673$a648163008$a823858779$a823929071$a824117673$a824171438$a856960913$a1035656366
020 $a9780750676175
020 $a0750676175
020 $a9780080469942$q(electronic bk.)
020 $a0080469949$q(electronic bk.)
020 $a1280964308
020 $a9781280964305
035 $a(OCoLC)162592426$z(OCoLC)123306140$z(OCoLC)154712673$z(OCoLC)648163008$z(OCoLC)823858779$z(OCoLC)823929071$z(OCoLC)824117673$z(OCoLC)824171438$z(OCoLC)856960913$z(OCoLC)1035656366
037 $a94400:94399$bElsevier Science & Technology$nhttp://www.sciencedirect.com
050 4 $aTK7885.7$b.M49 2003eb
072 7 $aTEC$x008020$2bisacsh
072 7 $aTEC$x008010$2bisacsh
072 7 $aTJF$2bicssc
082 04 $a621.3815/48$222
100 1 $aMeyer, Andreas$q(Andreas S.)
245 10 $aPrinciples of functional verification /$cAndreas Meyer.
260 $aAmsterdam ;$aBoston :$bNewnes,$c2003.
264 4 $c℗♭2003
300 $a1 online resource (x, 206 pages) :$billustrations
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
520 $aAs design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a hands-on, practical text that will help train professionals in the field of engineering on the methodology and approaches to verification. In practice, the architectural intent of a device is necessarily abstract. The implementation process, however, must define the detailed mechanisms to achieve the architectural goals. Based on a decade of experience, Principles of Functional Verification intends to pinpoint the issues, provide strategies to solve the issues, and present practical applications for narrowing the gap between architectural intent and implementation. The book is divided into three parts, each building upon the chapters within the previous part. Part One addresses why functional verification is necessary, its definition and goals. In Part Two, the heart of the methodology and approaches to solving verification issues are examined. Each chapter in this part ends with exercises to apply what was discussed in the chapter. Part Three looks at practical applications, discussing project planning, resource requirements, and costs. Each chapter throughout all three parts will open with Key Objectives, focal points the reader can expect to review in the chapter. * Takes a "holistic" approach to verification issues * Approach is not restricted to one language * Discussed the verification process, not just how to use the verification language.
505 0 $aPart One: Why Functional Verification is Necessary; Definition and Goals; Architecture; A Look at What is Being Verified; Part Two: How Functional Verification Works; Determining the Validity of the Model; Verification Methods; Random Testing; Co-Simulation; Measuring Verification Quality; Verification Languages; Part Three: Application of Functional Verification; The Verification Plan; Projecting Costs; Summary: The Project; Verification Languages: Testbuilder, Vera, E; Other Project Verification Tools: Bug-tracking Systems; Other Project Verification Tools: Revision & Release Control Systems.
588 0 $aPrint version record.
650 0 $aIntegrated circuits$xVerification.
650 7 $aTECHNOLOGY & ENGINEERING$xElectronics$xCircuits$xIntegrated.$2bisacsh
650 7 $aTECHNOLOGY & ENGINEERING$xElectronics$xCircuits$xGeneral.$2bisacsh
650 7 $aIntegrated circuits$xVerification.$2fast$0(OCoLC)fst00975600
655 4 $aElectronic books.
655 0 $aElectronic books.
776 08 $iPrint version:$aMeyer, Andreas (Andreas S.).$tPrinciples of functional verification.$dAmsterdam ; Boston : Newnes, 2003$z0750676175$z9780750676175$w(DLC) 2003056421$w(OCoLC)52477339
856 40 $3ebrary$uhttp://site.ebrary.com/id/10166951
856 40 $3EBSCOhost$uhttp://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=104792
856 40 $3MyiLibrary$uhttp://www.myilibrary.com?id=96430
856 40 $3ProQuest Ebook Central$uhttp://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=286729
856 40 $3Referex$uhttp://www.engineeringvillage.com/controller/servlet/OpenURL?genre=book&isbn=9780750676175$zAn electronic book accessible through the World Wide Web; click for information
856 40 $3ScienceDirect$uhttp://www.sciencedirect.com/science/book/9780750676175
856 40 $3ScienceDirect$uhttp://dproxy.library.dc-uoit.ca/login?url=https://www.sciencedirect.com/science/book/9780750676175
856 41 $3MyiLibrary, Table of contents$uhttp://www.myilibrary.com?id=96430&ref=toc
856 41 $3Table of contents$uhttp://catdir.loc.gov/catdir/toc/els041/2003056421.html
856 42 $3Publisher description$uhttp://catdir.loc.gov/catdir/description/els041/2003056421.html
856 4 $3Safari Books Online$uhttp://proquest.safaribooksonline.com/9780080469942
856 4 $uhttp://proxy.library.carleton.ca/login?url=http://proquest.safaribooksonline.com/?uiCode=carleton&xmlId=9780080469942$zSafari (Access restricted to 5 simultaneous users)
856 40 $uhttp://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=104792$xWMS$yEBSCO Academic Comprehensive Collection$xProvider: EBSCO$xsubscribed$xeLoaderURL$xuc4$xucocn162592426
856 40 $uhttps://login.gbcprx01.georgebrown.ca/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=e000xna&AN=104792
856 40 $3ScienceDirect$uhttps://ezproxy.aub.edu.lb/login?url=http://www.sciencedirect.com/science/book/9780750676175$zClick for electronic access to e-book.
938 $aebrary$bEBRY$nebr10166951
938 $aEBSCOhost$bEBSC$n104792
938 $aProQuest MyiLibrary Digital eBook Collection$bIDEB$n96430
938 $aYBP Library Services$bYANK$n2555040
029 1 $aAU@$b000051860740
029 1 $aAU@$b000054162625
029 1 $aCHNEW$b001006822
029 1 $aDEBBG$bBV039831210
029 1 $aDEBBG$bBV042315985
029 1 $aDEBBG$bBV043045011
029 1 $aDEBSZ$b367756595
029 1 $aDEBSZ$b422393320
029 1 $aNZ1$b12435381
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 1201 OTHER HOLDINGS