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.
Show all versions (2)