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

Browsing Institute of Technology shelves, Collection: Reference Close shelf browser (Hides shelf browser)

Previous								Next
Previous	621.39 COM The Computer Science and Engineering Handbook (Part - A)	621.39 COM The Computer Science and Engineering Handbook (Part - B)	621.39 DAL Digital Systems Engineering	621.39 LAM Hardware Design Verification: Simulation and Formal Method-Based Approaches	621.39 SHI Computer Organization, Design and Architecture	621.391 LOT Modern IC Data and Substitution Manual	621.3916 CRI Introduction to Microprocessors and Microcontrollers	Next

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.