Hardware design verification : simulation and formal method-based approaches

Hardware design verification simulation and formal method-based approaches

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Lam, William K. C. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Upper Saddle River, NJ u.a. Prentice Hall PTR 2005
Schlagworte:
Integrated circuits > Verification > Hardwareverifikation
Online Zugang:Table of contents
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:XXV, 585 S
ISBN:0131433474
0-13-143347-4