Standardized functional verification

Standardized functional verification

Saved in:

Bibliographic Details
Main Author:	Wiemann, Alan
Format:	Book
Published:	New York Springer 2008
Edition:	1st ed
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

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)

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

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)

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

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

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

Verification methodology manual for SystemVerilog
Published: (2006)

Layout design and verification
Published: (1986)

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

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

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

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

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

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)

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

IEEE standard test access port and boundary-scan architecture
Published: (1993)

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

Analog integrated circuits operational amplifiers and analog multipliers
by: Herpy, Miklos
Published: (1980)

Encyclopedia of integrated circuits a practical handbook of essential reference data
by: Buchsbaum, Walter H
Published: (1981)

Encyclopedia of integrated circuits a practical handbook of essential reference data
by: Buchsbaum, Walter H
Published: (1987)

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

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

The master IC cookbook
by: Hallmark, Clayton L
Published: (1991)

The master IC cookbook
by: Hallmark, Clayton L
Published: (1991)

ASAS TEKNOLOGI LITAR BERSEPADU
by: Fortino, Andres G
Published: (1989)

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

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

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

Integrated circuit design
by: Murray, Alan F

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

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

Thermal and power management of integrated circuits
by: Vassighi, Arman 1966-
Published: (2006)

Fault diagnosis of analog integrated circuits
by: Kabisatpathy, Prithviraj
Published: (2005)

VLSI placement and routing the PI project
by: Sherman, Alan Theodore
Published: (1989)