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.

Remote Storage

Holdings details from Remote Storage
Call Number: TK7874.58 .B47 2006
 
Call Number Status Get It
TK7874.58 .B47 2006 Available