Loading…

Standardized Functional Verification

Standardized Functional Verification describes the science of functional verification that applies to any digital hardware system. With a precise and comprehensive terminology this book describes a thorough technical framework for achieving superior results with greater efficiency. It also defines a...

Full description

Bibliographic Details
Call Number:	Libro Electrónico
Main Author:	Wiemann, Alan (Author)
Corporate Author:	SpringerLink (Online service)
Format:	Electronic eBook
Language:	Inglés
Published:	New York, NY : Springer US : Imprint: Springer, 2008.
Edition:	1st ed. 2008.
Subjects:	Electronic circuits. Computer-aided engineering. Electrical engineering. Electronics. Electronic Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Electrical and Electronic Engineering. Electronics and Microelectronics, Instrumentation.
Online Access:	Texto Completo

Similar Items

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
by: Spear, Chris
Published: (2008)

Taxonomies for the Development and Verification of Digital Systems
Published: (2005)

Verification Methodology Manual for SystemVerilog
by: Bergeron, Janick, et al.
Published: (2006)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™ /
by: da Silva, Francisco, et al.
Published: (2006)

Timing Optimization Through Clock Skew Scheduling
by: Kourtev, Ivan S., et al.
Published: (2009)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
by: Castro López, Rafael, et al.
Published: (2006)

Nanometer Technology Designs High-Quality Delay Tests /
by: Ahmed, Nisar
Published: (2008)

A Roadmap for Formal Property Verification
by: Dasgupta, Pallab
Published: (2006)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
by: Mohanty, Saraju P., et al.
Published: (2008)

Closing the Power Gap between ASIC & Custom Tools and Techniques for Low Power Design /
by: Chinnery, David, et al.
Published: (2007)

CMOS Current-Mode Circuits for Data Communications
by: Yuan, Fei
Published: (2007)

Functional Verification Coverage Measurement and Analysis
by: Piziali, Andrew
Published: (2008)

Leakage in Nanometer CMOS Technologies
Published: (2006)

Constraint-Based Verification
by: Yuan, Jun, et al.
Published: (2006)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL'04 /
Published: (2005)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
by: Spear, Chris, et al.
Published: (2012)

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /
by: Spear, Chris
Published: (2006)

Scalable Hardware Verification with Symbolic Simulation
by: Bertacco, Valeria
Published: (2006)

Static Timing Analysis for Nanometer Designs A Practical Approach /
by: Bhasker, J., et al.
Published: (2009)

Hardware Verification with C++ A Practitioner's Handbook /
by: Mintz, Mike, et al.
Published: (2006)

Introduction to Mixed-Signal, Embedded Design
by: Doboli, Alex, et al.
Published: (2011)

Semiconductor Modeling: For Simulating Signal, Power, and Electromagnetic Integrity /
by: Leventhal, Roy, et al.
Published: (2006)

Creating Assertion-Based IP
by: Foster, Harry D., et al.
Published: (2008)

Digital Design and Implementation with Field Programmable Devices
by: Navabi, Zainalabedin
Published: (2005)

Assertion-Based Design
by: Foster, Harry D., et al.
Published: (2005)

Clocking in Modern VLSI Systems
Published: (2009)

Quantifying and Exploring the Gap Between FPGAs and ASICs
by: Kuon, Ian, et al.
Published: (2010)

Hardware Verification with System Verilog An Object-Oriented Framework /
by: Mintz, Mike, et al.
Published: (2007)

VLSI Physical Design: From Graph Partitioning to Timing Closure
by: Kahng, Andrew B., et al.
Published: (2011)

Rapid Prototyping of Digital Systems SOPC Edition /
by: Hamblen, James O., et al.
Published: (2008)

Thermal and Power Management of Integrated Circuits
by: Vassighi, Arman, et al.
Published: (2006)

Rapid Prototyping of Digital Systems Quartus® II Edition /
by: Hamblen, James O., et al.
Published: (2006)

Power Distribution Networks with On-Chip Decoupling Capacitors
by: Popovich, Mikhail, et al.
Published: (2008)

CMOS Active Inductors and Transformers Principle, Implementation, and Applications /
by: Yuan, Fei
Published: (2008)

Interconnect Noise Optimization in Nanometer Technologies
by: Elgamel, Mohamed, et al.
Published: (2006)

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them /
by: Sutherland, Stuart, et al.
Published: (2007)

SystemVerilog for Design Second Edition A Guide to Using SystemVerilog for Hardware Design and Modeling /
by: Sutherland, Stuart, et al.
Published: (2006)

SystemC Kernel Extensions for Heterogeneous System Modeling A Framework for Multi-MoC Modeling & Simulation /
by: Patel, Hiren, et al.
Published: (2005)

Embedded System Design
by: Marwedel, Peter
Published: (2006)

SystemC: From the Ground Up, Second Edition
by: Black, David C., et al.
Published: (2010)