Cargando…

Constraint-Based Verification

Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal method...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autores principales:	Yuan, Jun (Autor), Pixley, Carl (Autor), Aziz, Adnan (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York, NY : Springer US : Imprint: Springer, 2006.
Edición:	1st ed. 2006.
Temas:	Electronic circuits. Computer-aided engineering. Electrical engineering. Electronic Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Electrical and Electronic Engineering.
Acceso en línea:	Texto Completo

Ejemplares similares

Functional Verification Coverage Measurement and Analysis
por: Piziali, Andrew
Publicado: (2008)

Standardized Functional Verification
por: Wiemann, Alan
Publicado: (2008)

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

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

Scalable Hardware Verification with Symbolic Simulation
por: Bertacco, Valeria
Publicado: (2006)

Assertion-Based Design
por: Foster, Harry D., et al.
Publicado: (2005)

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

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

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

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

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

Verification Methodology Manual for SystemVerilog
por: Bergeron, Janick, et al.
Publicado: (2006)

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

Digital Design and Implementation with Field Programmable Devices
por: Navabi, Zainalabedin
Publicado: (2005)

Clocking in Modern VLSI Systems
Publicado: (2009)

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

CMOS Current-Mode Circuits for Data Communications
por: Yuan, Fei
Publicado: (2007)

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

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

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

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

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

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

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

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

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

A Roadmap for Formal Property Verification
por: Dasgupta, Pallab
Publicado: (2006)

SAT-Based Scalable Formal Verification Solutions
por: Ganai, Malay, et al.
Publicado: (2007)

Embedded System Design
por: Marwedel, Peter
Publicado: (2006)

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

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

Writing Testbenches using SystemVerilog
por: Bergeron, Janick
Publicado: (2006)

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

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

High-Level Verification Methods and Tools for Verification of System-Level Designs /
por: Kundu, Sudipta, et al.
Publicado: (2011)

Open Verification Methodology Cookbook
por: Glasser, Mark
Publicado: (2009)

Scalable Techniques for Formal Verification
por: Ray, Sandip
Publicado: (2010)

Leakage in Nanometer CMOS Technologies
Publicado: (2006)

Design for Manufacturability and Statistical Design A Constructive Approach /
por: Orshansky, Michael, et al.
Publicado: (2008)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
por: Mishra, Prabhat, et al.
Publicado: (2005)