Hardware design verification simulation and formal method-based approaches

Hardware design verification simulation and formal method-based approaches

Saved in:

Bibliographic Details
Main Author:	Lam, William K. C. 1962-
Format:	Book
Published:	Upper Saddle River, NJ Prentice Hall Professional Technical Reference 2005
Series:	Prentice Hall modern semiconductor design series
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

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

Applied formal verification
by: Perry, Douglas L
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)

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

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

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

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

Integrated circuit test engineering modern techniques
by: Grout, Ian
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
Published: (2004)

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

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

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

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

Layout design and verification
Published: (1986)

Verification methodology manual for SystemVerilog
Published: (2006)

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

CORRECT HARDWARE DESIGN METHODOLOGIES proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
Published: (1992)

Formal VLSI correctness verification proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Published: (1990)

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

Design to test a definitive guide for electronic design, manufacture, and service
by: Turino, Jon L
Published: (1990)

CMOS RFIC design principles
by: Caverly, Robert
Published: (2007)

Design automation, languages, and simulations
Published: (2003)

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

Analysis and design of integrated electronic circuits
by: Chirlian, Paul M
Published: (1987)

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

Analog design and simulation using OrCAD Capture and PSpice
by: Fitzpatrick, Dennis
Published: (2012)

VLSI circuit design methodology demystified a conceptual taxonomy
by: Xiu, Liming
Published: (2008)

Electronic integrated circuits their technology and design
by: Allison, John

VLSI design environments
Published: (2000)

Nanometer technology designs high-quality delay tests
by: Tehranipoor, Mohammad H. 1974-
Published: (2008)

Integrated circuit packaging, assembly, and interconnections
by: Greig, William J.
Published: (2007)

Integrated Circuit Design
by: Weste, Neil H. E.
Published: (2011)

Integrated circuit design
by: Murray, Alan F

Integrated circuit design
by: Weste, Neil H. E.
Published: (2011)

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

Formal methods for VLSI design IFIP WG 10.5 lecture notes
Published: (1990)

ANALYSIS AND DESIGN OF ANALOG INTEGRATED CIRCUITS
by: Gray, Paul R. 1942-, et al.
Published: (2010)

Modern electronics and integrated circuits
by: Stanier, B. J
Published: (1985)

VLSI chip design with the hardware description language VERILOG an introduction based on a large RISC processor design
by: Golze, Ulrich 1948-
Published: (1996)