000 03054nam a22004575i 4500
001 978-1-4020-8026-5
003 DE-He213
005 20161121230535.0
007 cr nn 008mamaa
008 100301s2008 xxu| s |||| 0|eng d
020 _a9781402080265
_9978-1-4020-8026-5
024 7 _a10.1007/b117979
_2doi
050 4 _aTK7888.4
072 7 _aTJFC
_2bicssc
072 7 _aTEC008010
_2bisacsh
082 0 4 _a621.3815
_223
100 1 _aPiziali, Andrew.
_eauthor.
245 1 0 _aFunctional Verification Coverage Measurement and Analysis
_h[electronic resource] /
_cby Andrew Piziali.
264 1 _aBoston, MA :
_bSpringer US,
_c2008.
300 _aXVI, 216 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aThe Language of Coverage -- Functional Verification -- Measuring Verification Coverage -- Functional Coverage -- Code Coverage -- Assertion Coverage -- Coverage-Driven Verification -- Improving Coverage Fidelity With Hybrid Models.
520 _aFunctional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure. Functional Verification Coverage Measurement and Analysis is the first book to introduce a useful taxonomy for coverage metric classification. Using this taxonomy, the reader clearly understands the process of creating an effective coverage model. A must read! - Harry Foster, Jasper Design Automation, Co-Author of Assertion-Based Design Andrew's book is the most thoughtful and comprehensive treatment of coverage I have seen. I recommend reading (and re-reading) this book to anybody who is really serious about functional verification. - Yoav Hollander, CTO, Verisity Design In the last few years, coverage has become a must in hardware verification and in software testing. From having to push people to use coverage, the situation changed to great interest... Andrew's excellent and comprehensive book on coverage, the first of its kind, could not have come at a better time. -Shmuel Ur, Research Scientist, IBM.
650 0 _aEngineering.
650 0 _aComputer-aided engineering.
650 0 _aElectrical engineering.
650 0 _aElectronic circuits.
650 1 4 _aEngineering.
650 2 4 _aCircuits and Systems.
650 2 4 _aElectrical Engineering.
650 2 4 _aComputer-Aided Engineering (CAD, CAE) and Design.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9780387739922
856 4 0 _uhttp://dx.doi.org/10.1007/b117979
912 _aZDB-2-ENG
950 _aEngineering (Springer-11647)
999 _c500291
_d500291