Cover Image

Scalable hardware verification with symbolic simulation/

Main Author:	Bertacco, Valeria
Format:	Book
Language:	English
Published:	New York: Springer, c2006
Subjects:	Integrated circuits > Verification

Similar Items

Professional verification a guide to advanced functional verification /
by: Wilcox, Paul, MBA.
Published: (2004)

Introduction to formal hardware verification/
by: Kropf, Thomas, 1961-
Published: (1999)

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

Advanced verification techniques: a SystemC based approach for successful tapeout/
by: Singh, Leena, 1971-
Published: (2004)

Symbolic simulation methods for industrial formal verification/
by: Jones, Robert B.
Published: (2002)

Comprehensive functional verification the complete industry cycle
by: Wile, Bruce.
Published: (2005)

Comprehensive functional verification the complete industry cycle/
by: Wile, Bruce
Published: (2005)

Hardware verification with C++: a practitionerʹs handbook/
by: Mintz, Mike
Published: (2006)

EDA for IC system design, verification, and testing /
Published: (2006)

EDA for IC system design, verification, and testing/
Published: (2006)

Timing verification of application-specific integrated circuits (ASICs)/
by: Nekoogar, Farzad
Published: (1999)

Co-verification of hardware and software for ARM SoC design /
by: Andrews, Jason R.
Published: (2005)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by: Yoeli, Michael, 1917-
Published: (2008)

Verification plans: the five-day verification strategy for modern hardware verification languages/
by: James, Peet
Published: (2004)

Layout design and verification/
Published: (1986)

Logic synthesis and verification algorithms/
by: Hachtel, Gary D.
Published: (1996)

Integrated circuit test engineering: modern techniques/
by: Grout, Ian A.
Published: (2006)

Formal specification and verification in VLSI design/
by: Davie, Bruce S.
Published: (1990)

Logic synthesis and verification algorithms
by: Hachtel, Gary D.
Published: (2002)

Principles of functional verification/
by: Meyer, Andreas S.
Published: (2004)

Effective functional verification: principles and processes/
by: Vasudevan, Srivatsa
Published: (2006)

Advanced verification techniques : a systemC based approach for successful tapeout /
by: Singh, Leena
Published: (2004)

A unified approach for timing verification and delay fault testing/
by: Sivaraman, Mukund, 1970-
Published: (1998)

ASIC and FPGA verification: a guide to component modeling/
by: Munden, Richard
Published: (2005)

Computer aided verification :10th International Conference, CAV. ʹ98, Vancouver, BC, Canada, June 28 - July 2, 1998 :proceedings /
Published: (1998)

Reasoning in Boolean networks: logic synthesis and verification using testing techniques/
by: Kunz, Wolfgang
Published: (1997)

Verification techniques for system-level design/
by: Fujita, Masahiro, 1956-
Published: (2008)

Specification and verification of systolic arrays/
by: Ling, Nam, 1956-
Published: (1999)

Test and design-for-testability in mixed-signal integrated circuits/
Published: (2004)

Symbolic analysis and reduction of VLSI circuits/
by: Qin, Zhanhai, 1976-
Published: (2005)

Principles of functional verification /
by: Meyer, Andreas
Published: (2003)

Analog design and simulation using orcad capture and pspice /
by: Fitzpatrick, Dennis.
Published: (2011)

ASIC and FPGA verification : a guide to component modeling /
by: Munden, Richard.
Published: (2005)

Modeling and simulation of high speed VLSI interconnects/
Published: (1994)

Design verification with e/
by: Palnitkar, Samir
Published: (2004)

Unified methods for VLSI simulation and test generation/
by: Cheng, Kwang-Ting, 1961-
Published: (1989)

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

Advanced electronic circuits/
by: Tietze, U. 1946-
Published: (1978)

Photoresist : materials and processes /
by: DeForest, William S.
Published: (1975)

Higher order logic and hardware verification/
by: Melham, T.
Published: (1993)

Cannot write session to /tmp/vufind_sessions/sess_3ukbekr8k1d6q6qi50duib25j7