000			00424nam a2200133Ia 4500
999			_c176277 _d176277
020			_a9780387381510 (hbk.)
040			_cCUS
082			_a620.0042 _bCAR/M
245		0	_aMetric-driven design verification/ _ban engineer's and executive's guide to first pass success _cCarter, Hamilton B.
260			_aNew York: _bSpringer, _c2007.
300			_axxvii, 361 p
505			_a Analyzing And Driving Verification: An Executive's Guide.- The Verification Crisis.- Automated Metric-Driven Processes.- Roles in a Verification Project.- Overview of a Verification Project.- Verification Technologies.- Managing The Verification Process.- Verification Planning.- Capturing Metrics.- Regression Management.- Revision Control and Change Integration.- Debug.- Executing The Verification Process.- Coverage Metrics.- Modeling and Architectural Verification.- Assertion-Based Verification.- Dynamic Simulation-Based Verification.- System Verification.- Mixed Analog and Digital Verification.- Design for Test.- Case Studies And Commentaries.- Metric-Driven Design Verification: Why Is My Customer a Better Verification Engineer Than Me?.- Metric-Driven Methodology Speeds the Verification of a Complex Network Processor.- Developing a Coverage-Driven SoC Methodology.- From Panic-Driven to Plan-Driven Verification Managing the Transition.- Verification of a Next-Generation Single-Chip Analog TV and Digital TV ASIC.- Management IP: New Frontier Providing Value Enterprise-Wide.- Adelante VD3204x Core, Sub System, and SoC Verification.- System C-based Virtual SoC: An Integrated System-Level and Block-Level Verification Approach from Simulation to Co emulation.- Is Your System-Level Project Benefiting from Collaboration or Headed to Chaos?.
942			_cAC8