Principles of functional verification

Principles of functional verification

Saved in:

Bibliographic Details
Main Author:	Meyer, Andreas
Format:	Book
Published:	Amsterdam Elsevier 2004
Subjects:	Integrated circuits > Verification
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification methodology manual for SystemVerilog
Published: (2006)

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

Standardized functional verification
by: Wiemann, Alan
Published: (2008)

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

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

Hardware design verification simulation and formal method-based approaches
by: Lam, William K. C. 1962-
Published: (2005)

Metric-driven design verification an engineer's and executive's guide to first pass success cHamilton B. Carter, Shankar Hemmady
by: Carter, Hamilton B.
Published: (2007)

Applied formal verification
by: Perry, Douglas L
Published: (2005)

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

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

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

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

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

Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
Published: (2007)

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

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

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

Systems and software verification model-checking techniques and tools
Published: (2001)

Program verification fundamental issues in computer science
Published: (1993)

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

An introduction to formal program verification
by: Mili, Ali
Published: (1985)

Advances in design and specification languages for SoCs selected contributions from FDL'04
Published: (2005)

Reconfigurable system design and verification
by: Hsiung, Pao-Ann
Published: (2009)

Arms control verification the technologies that make it possible Proceedings of the ...
Published: (1986)

VHDL a starter's guide
by: Yalamanchili, Sudhakar
Published: (2005)

VHDL modular design and synthesis of cores and systems
by: Navabi, Zainalabedin
Published: (2007)

Software verification and validation an engineering and scientific approach
by: Fisher, Marcus S.
Published: (2007)

Software verification and validation realistic project approaches
by: Deutsch, Michael S
Published: (1982)

Verification of object-oriented software the KeY approach
Published: (2007)

Verification, model checking, and abstract interpretation 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings
Published: (2003)

Independent verification and validation a life cycle engineering process for quality software
by: Lewis, Robert O. 1938-
Published: (1992)

Layout design and verification
Published: (1986)

Scientific computation with automatic result verification
Published: (1988)

Software verification and validation for practitioners and managers
by: Rakitin, Steven R

Scientific computation with automatic result verification
Published: (1988)

Electronic Design Automation for IC System Design, Verification, and Testing
Published: (2016)

VHDL a design oriented approach
by: Limaye, S. S.
Published: (2008)

Principles of the Spin model checker
by: Ben-Ari, M.
Published: (2008)

Digital Logic and Microprocessor Design with VHDL
by: Hwang, Enoch O.
Published: (2006)

Verification of reactive systems formal methods and algorithms
by: Schneider, Klaus 1967-
Published: (2004)