Scalable hardware verification with symbolic simulation
Saved in:
Main Author: | Bertacco, Valeria |
---|---|
Format: | Book |
Published: |
New York, NY
Springer
2006
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Hardware design verification simulation and formal method-based approaches
by: Lam, William K. C. 1962-
Published: (2005) -
Standardized functional verification
by: Wiemann, Alan
Published: (2008) -
Functional verification coverage measurement and analysis
by: Piziali, Andrew
Published: (2004) -
Hardware verification with C++ a practitioner's handbook
by: Mintz, Mike
Published: (2006) -
Metric-driven design verification an engineer's and executive's guide to first pass success cHamilton B. Carter, Shankar Hemmady
by: Carter, Hamilton B.
Published: (2007)