Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation

Saved in:

Bibliographic Details
Main Author:	Bertacco, Valeria (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer Science+Business Media, Inc., 2006.
Subjects:	Computer-aided design Computer engineering Computer hardware Engineering Systems engineering
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hardware verification with systemverilog : an object-oriented framework /
by: Mintz, Mike
Published: (2007)

Scalable techniques for formal verification
by: Ray, Sandip
Published: (2010)

SAT-based scalable formal verification solutions /
by: Ganai, Malay K.
Published: (2007)

Systemverilog for verification : a guide to learning the testbench language features /
by: Spear, Christian B.

System Verilog for Verification A Guide to Learning the Testbench Language Features /
by: Spear, Christian B.
Published: (2008)

SystemVerilog for verification : a guide to learning the testbench language features /
by: Spear, Chris
Published: (2012)

SystemVerilog for design : a guide to using SystemVerilog for hardware design and modeling /
by: Sutherland, Stuart, 1953-

Scalable multi-core architectures design methodologies and tools
by: Soudris, Dimitrios
Published: (2012)

Standardized Functional Verification
by: Wiemann, Alan
Published: (2008)

Constraint-based verification /
by: Yuan, Jun

SystemC kernel extensions for heterogeneous system modeling : a framework for multi-MoC modeling & simulation /
by: Patel, Hiren D.

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

Interconnect noise optimization in nanometer technologies /
by: Elgamel, Mohamed A.

Verilog and systemverilog gotchas 101 common coding errors and how to avoid them /
by: Sutherland, Stuart, 1953-
Published: (2007)

Open verification methodology cookbook
by: Glasser, Mark
Published: (2009)

Software-implemented hardware fault tolerance /
by: Goloubeva, Olga

Quantifying and exploring the gap between FPGAs and ASICs
by: Kuon, Ian
Published: (2010)

Leakage in nanometer CMOS technologies
by: Narendra, Siva G.
Published: (2006)

Taxonomies for the Development and Verification of Digital Systems
by: Bailey, Brian
Published: (2005)

Functional verification coverage measurement and analysis
by: Piziali, Andrew
Published: (2008)

CMOS current-mode circuits for data communications
by: Yuan, Fei
Published: (2007)

Verification methodology manual for SystemVerilog /
by: Bergeron, Janick

System-level test and validation of hardware/software systems
Published: (2005)

Hardware acceleration of EDA algorithms custom ICs, FPGAs and GPUs /
by: Gulati, Kanupriya
Published: (2010)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
by: Mishra, Prabhat, 1973-
Published: (2005)

A roadmap for formal property verification /
by: DasGupta, Pallab

Correct hardware design and verification methods 13th IFIP WG 10.5 Advanced research, working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings
Published: (2005)

A practical introduction to hardware/software codesign
by: Schaumont, Patrick R.
Published: (2010)

Low power hardware synthesis from concurrent action-oriented specifications
by: Singh, Gaurav
Published: (2010)

Hardware software co-design of a multimedia SOC platform
by: Chen, Sao-Jie
Published: (2009)

Design and verification of microprocessor systems for high-assurance applications
Published: (2010)

Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Published: (2012)

The e hardware verification language
by: Iman, Sasan
Published: (2004)

The e hardware verification language
by: Iman, Sasan
Published: (2004)

Processor and system-on-chip simulation
Published: (2010)

Towards hardware-intrinsic security foundations and practice /
Published: (2010)

Low power methodology manual : for system-on-chip design /
by: Keating, Michael
Published: (2007)

Cryptographic algorithms on reconfigurable hardware
Published: (2007)

Applications of specification and design languages for SoCs selected papers from FDL 2005 /
Published: (2006)

Fully-depleted SOI CMOS circuits and technology for ultralow-power applications /
by: Sakurai, Takayasu
Published: (2006)