Cover Image

Scalable hardware verification with symbolic simulation /

Show other versions (1)
Bibliographic Details
Main Author: Bertacco, Valeria
Format: Book
Language:English
Published: New York : Springer, [2006]
Subjects:
Integrated circuits > Verification.
Computer simulation.
Description
Physical Description:xx, 177 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0387244115 (hd.bd.)