الناشر | Springer; Softcover reprint of hardcover 1st ed. 2007 edition |
رقم الكتاب المعياري الدولي 10 | 1441942556 |
تنسيق الكتاب | Paperback |
وصف الكتاب | 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, SubSystem, and SoC Verification.- SystemC-based Virtual SoC: An Integrated System-Level and Block-Level Verification Approach from Simulation to Coemulation.- Is Your System-Level Project Benefiting from Collaboration or Headed to Chaos?. |
عدد الصفحات | 392 pages |
رقم الكتاب المعياري الدولي 13 | 9781441942555 |
الكاتب | Hamilton B. Carter |
اللغة | English |
تاريخ النشر | 29 October 2010 |