Hardware design verification : simulation and formal method-based approaches /

Bibliographic Details
Main Author:	Lam, William K. C., 1962-
Format:	Book
Language:	English
Published:	Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, [2005]
Series:	Prentice Hall modern semiconductor design series.
Subjects:	Integrated circuits > Verification.
Online Access:	Table of contents

Table of contents

Evans: Library Stacks