Functional Verification Coverage Measurement and Analysis

Functional Verification Coverage Measurement and Analysis

Functional 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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Piziali, Andrew (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2008.
Θέματα:	Engineering. Computer-aided engineering. Electrical engineering. Electronic circuits. Circuits and Systems. Electrical Engineering. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Standardized Functional Verification
ανά: Wiemann, Alan
Έκδοση: (2008)

Constraint-Based Verification
ανά: Yuan, Jun, κ.ά.
Έκδοση: (2006)

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
ανά: Singh, Leena, κ.ά.
Έκδοση: (2004)

System-on-a-Chip Verification Methodology and Techniques /
ανά: Rashinkar, Prakash, κ.ά.
Έκδοση: (2002)

Systemverilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris
Έκδοση: (2006)

IC Interconnect Analysis
ανά: Celik, Mustafa, κ.ά.
Έκδοση: (2002)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris, κ.ά.
Έκδοση: (2012)

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

Static Crosstalk-Noise Analysis For Deep Sub-Micron Digital Designs /
ανά: Chen, Pinhong, κ.ά.
Έκδοση: (2004)

Computer Methods for Analysis of Mixed-Mode Switching Circuits
ανά: Yuan, Fei, κ.ά.
Έκδοση: (2004)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

Substrate Noise Analysis and Optimization for IC Design /
ανά: Charbon, Edoardo, κ.ά.
Έκδοση: (2001)

Writing Testbenches Functional Verification of HDL Models /
ανά: Bergeron, Janick
Έκδοση: (2000)

Hardware Verification with C++ A Practitioner’s Handbook /
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2006)

Creating Assertion-Based IP
ανά: Foster, Harry D., κ.ά.
Έκδοση: (2008)

High Speed A/D Converters Understanding Data Converters Through SPICE /
ανά: Alfi, Moscovici
Έκδοση: (2002)

Design, Simulation and Applications of Inductors and Transformers for Si RF ICs
ανά: Niknejad, Ali M., κ.ά.
Έκδοση: (2000)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2002)

A Designer’s Guide to Built-In Self-Test
ανά: Stroud, Charles E.
Έκδοση: (2002)

Advanced ASIC Chip Synthesis Using Synopsys® Design Compiler™ Physical Compiler™ and PrimeTime®
ανά: Bhatnagar, Himanshu
Έκδοση: (2002)

Closing the Gap Between ASIC & Custom Tools and Techniques for High-Performance ASIC Design /
ανά: Chinnery, David, κ.ά.
Έκδοση: (2002)

Timing
ανά: Sapatnekar, Sachin
Έκδοση: (2004)

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design
ανά: Mo, Fan, κ.ά.
Έκδοση: (2004)

CTL for Test Information of Digital ICS
ανά: Kapur, Rohit
Έκδοση: (2002)

The Boundary-Scan Handbook Analog and Digital /
ανά: Parker, Kenneth P.
Έκδοση: (1998)

High Performance Memory Testing: Design Principles, Fault Modeling and Self-Test
ανά: Adams, R. Dean
Έκδοση: (2003)

Low-Power Design Techniques and CAD Tools for Analog and RF Integrated Circuits
Έκδοση: (2001)

The Designer’s Guide to Spice and Spectre
ανά: Kundert, Kenneth S.
Έκδοση: (1995)

Power-constrained Testing of VLSI Circuits
ανά: Nicolici, Nicola, κ.ά.
Έκδοση: (2003)

Structured Electronic Design Negative-Feedback Amplifiers /
ανά: Verhoeven, C. J. M., κ.ά.
Έκδοση: (2003)

Clocking in Modern VLSI Systems
Έκδοση: (2009)

Digital Design and Implementation with Field Programmable Devices
ανά: Navabi, Zainalabedin
Έκδοση: (2005)

Assertion-Based Design
ανά: Foster, Harry, κ.ά.
Έκδοση: (2005)

Direct Transistor-level Layout for Digital Blocks
ανά: Gopalakrishnan, Prakash, κ.ά.
Έκδοση: (2005)

System Verilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris
Έκδοση: (2008)

Principles of Verifiable RTL Design A Functional Coding Style Supporting Verification Processes in Verilog /
ανά: Bening, Lionel, κ.ά.
Έκδοση: (2000)

Principles of Verifiable RTL Design A functional coding style supporting verification processes in Verilog /
ανά: Bening, Lionel, κ.ά.
Έκδοση: (2001)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2008)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O., κ.ά.
Έκδοση: (2006)

Thermal and Power Management of Integrated Circuits
ανά: Vassighi, Arman, κ.ά.
Έκδοση: (2006)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_mn1v726icels651f27caa7vmqv