Hardware Design Verification: Simulation and Formal Method-Based Approaches

By:

Lam, William K

Material type: Text

TextPublication details: New York Prentice Hall 2005Description: 585pISBN:

9780131433472

Subject(s):

Electrical Engineering

DDC classification:

621.39 LAM

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Item location	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Book	NIMA Knowledge Centre	6th Floor Silence Zone	Reference	621.39 LAM (Browse shelf(Opens below))	Not For Loan		T0028738

Total holds: 0

An Invitation to Design Verification Coding for Verification Simulator Architectures and Operations Test Bench Organization and Design Test Scenarios, Assertions, and Coverage Debugging Process and Verification Cycle Formal Verification Preliminaries Design Diagrams, Equivalence Checking, and Symbolic Simulation Model Checking and Symbolic Computation

There are no comments on this title.

to post a comment.