Cover Image

Functional verification coverage measurement and analysis/

Main Author:	Piziali, Andrew
Format:	Book
Language:	English
Published:	Boston: Kluwer Academic Publishers, c2004
Subjects:	Integrated circuits > Verification

Similar Items

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

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

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

Scalable hardware verification with symbolic simulation/
by: Bertacco, Valeria
Published: (2006)

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

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

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

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

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

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

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

Layout design and verification/
Published: (1986)

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

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)

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

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

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

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

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

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)

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

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)

Functional verification of programmable embedded architectures: a top-down approach/
by: Mishra, Prabhat, 1973-
Published: (2005)

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

Writing testbenches functional verification of HDL models /
by: Bergeron, Janick.
Published: (2002)

Writing testbenches: functional verification of HDL models/
by: Bergeron, Janick
Published: (2003)

Writing testbenches : functional verification of HDL models /
by: Bergeron, Janick
Published: (1990)

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

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

An introduction to mixed-signal IC test and measurement/
by: Burns, Mark, 1962-
Published: (2001)

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

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

Cannot write session to /tmp/vufind_sessions/sess_82ko4e36fngk5nkkk2fh5fp825