Hardware Verification with C++ A Practitionerβs Handbook
Main Author: | Mintz, Mike |
---|---|
Other Authors: | Ekendahl, Robert |
Format: | Electronic Kit Book |
Language: | English |
Published: |
Boston, MA
Springer Science+Business Media, LLC
2006
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-0-387-36254-0 |
Similar Items
-
Constraint-Based Verification
by: Yuan, Jun
Published: (2006) -
Scalable Hardware Verification with Symbolic Simulation
by: Bertacco, Valeria
Published: (2006) -
Mixed-Signal Layout Generation Concepts
by: Lin, Chieh
Published: (2005) -
Abstraction Refinement for Large Scale Model Checking
by: Wang, Chao
Published: (2006) -
Systemverilog for Verification A Guide to Learning the Testbench Language Features
by: Spear, Chris
Published: (2006)