Taxonomies for the Development and Verification of Digital Systems
Main Author: | Bailey, Brian |
---|---|
Other Authors: | Anderson, Thomas, Martin, Grant (Grant Edmund) |
Format: | Electronic Kit Book |
Language: | English |
Published: |
Boston, MA
Springer Science+Business Media, Inc.
2005
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/b104217 |
Similar Items
-
A Roadmap for Formal Property Verification
by: DasGupta, Pallab
Published: (2006) -
Verification Methodology Manual for SystemVerilog
by: Bergeron, Janick
Published: (2006) -
The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500β'
by: Silva, Francisco
Published: (2006) -
New Algorithms, Architectures and Applications for Reconfigurable Computing
by: Lysaght, Patrick
Published: (2005) -
Constraint-Based Verification
by: Yuan, Jun
Published: (2006)