Cover Image

Principles of functional verification/

Main Author:	Meyer, Andreas S.
Format:	Book
Language:	English
Published:	Amsterdam Boston: Newnes, c2004
Subjects:	Integrated circuits > Verification

Similar Items

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

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

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

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

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)

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

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

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)

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

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

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

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

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

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

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)

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

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

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

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)

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

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

System specification & design languages best of FDL'02 /
Published: (2003)

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

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

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

System-on-chip methodologies & design languages/
Published: (2001)

Semiconductor logic and switching circuits/
by: Oppenheimer, Samuel L.
Published: (1973)

VHDL starter's guide/
by: Yalamanchili, Sudhakar
Published: (1998)

Systems and software verification: model-checking techniques and tools/
by: Berard, Beatrice.
Published: (2001)

Program verification /
by: Francez, Nissim.
Published: (1992)

Digital electronics and design with VHDL/
by: Pedroni, Volnei A.
Published: (2008)

Cannot write session to /tmp/vufind_sessions/sess_fu1g4ekca4roi12ipsd6ucegt0