Loading…

Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner working...

Full description

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

Similar Items

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

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

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

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

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

Post-Silicon and Runtime Verification for Modern Processors
by: Wagner, Ilya, et al.
Published: (2011)

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

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)

Functional Verification Coverage Measurement and Analysis
by: Piziali, Andrew
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)

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

Standardized Functional Verification
by: Wiemann, Alan
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)

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

Scalable Techniques for Formal Verification
by: Ray, Sandip
Published: (2010)

Leakage in Nanometer CMOS Technologies
Published: (2006)

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

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

Verification Methodology Manual for SystemVerilog
by: Bergeron, Janick, 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)

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)

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

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

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

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

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

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

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

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

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

Writing Testbenches using SystemVerilog
by: Bergeron, Janick
Published: (2006)

Open Verification Methodology Cookbook
by: Glasser, Mark
Published: (2009)

Scalable Multi-core Architectures Design Methodologies and Tools /
Published: (2012)

Cannot write session to /tmp/vufind_sessions/sess_j0c5hbsdo6b5prnfohu0bqhtb3