Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Main Author: | Mishra, Prabhat |
---|---|
Other Authors: | Dutt, Nikil D. |
Format: | Electronic Kit Book |
Language: | English |
Published: |
Boston, MA
Springer Science+Business Media, Inc.
2005
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/b137514 |
Similar Items
-
Constraint-Based Verification
by: Yuan, Jun
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) -
Scalable Hardware Verification with Symbolic Simulation
by: Bertacco, Valeria
Published: (2006)