Cover Image

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
Description
Physical Description:xxv, 585 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 539-559) and index.
ISBN:0131433474 (alk. paper)