000 | 04843nam a22003735i 4500 | ||
---|---|---|---|
001 | 278213 | ||
003 | MX-SnUAN | ||
005 | 20160429153854.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2007 xxu| o |||| 0|eng d | ||
020 |
_a9780387381527 _99780387381527 |
||
024 | 7 |
_a10.1007/9780387381527 _2doi |
|
035 | _avtls000331376 | ||
039 | 9 |
_a201509030211 _bVLOAD _c201404121829 _dVLOAD _c201404091557 _dVLOAD _c201401311413 _dstaff _y201401301208 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aTK7888.4 | |
100 | 1 |
_aCarter, Hamilton B. _eautor _9301668 |
|
245 | 1 | 0 |
_aMetric- Driven Design Verification : _bAn Engineer's and Executive's Guide to First Pass Success / _cby Hamilton B. Carter, Shankar Hemmady. |
264 | 1 |
_aBoston, MA : _bSpringer US, _c2007. |
|
300 |
_axxvii, 361 páginas, _brecurso en línea. |
||
336 |
_atexto _btxt _2rdacontent |
||
337 |
_acomputadora _bc _2rdamedia |
||
338 |
_arecurso en línea _bcr _2rdacarrier |
||
347 |
_aarchivo de texto _bPDF _2rda |
||
500 | _aSpringer eBooks | ||
505 | 0 | _aAnalyzing 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?. | |
520 | _aExponentially increasing design complexity has necessitated the adoption of metric driven planning and project management. Metric Driven Design Verification provides the semiconductor industry’s first metric driven based approach to functional verification. A metric based flow is described that focuses on the four steps of: 1. Planning: Defining what needs to be done and the automatically trackable metrics that will be used to measure progress. 2. Execution: Implementing verification environments and then extensively exercising the device under verification utilizing comprehensive, massively parallel regression strategies. 3. Measurement: Automatically capturing the metrics defined in planning to provide objective data with which to manage the verification project. Custom tailoring those metrics through an automated reporting framework to provide all stakeholders a real-time meaningful view of project status. 4. Response: Utilizing the returned metrics to effectively adapt to changing project conditions. Making use of automated response mechanisms to automate engineering processed and management response to streamline project management processes. The primary audience for this book is professional engineers, managers, and executives. It is written in an easily understandable style and consists of four parts. The first three parts are tailored for executives, engineering managers, and engineers respectively. The fourth part presents case studies and commentaries from industry luminaries and experts on metric driven verification. Metric Driven Design Verification brings together the best practices and real-life experiences of several leading electronic companies worldwide in planning and managing verification projects, while automating critical processes. It addresses all aspects of verification and summarizes the different options available to engineers, managers and executives. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aHemmady, Shankar. _eautor _9301669 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9780387381510 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-0-387-38152-7 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c278213 _d278213 |