Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
Main Authors: | Boulé, Marc. (Author), Zilic, Zeljko. (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
Edition: | 1st ed. 2008. |
Subjects: |
Similar Items
-
Digital VLSI Design with Verilog : A Textbook from Silicon Valley Technical Institute /
by: Williams, John.
Published: (2008) -
Dynamically Reconfigurable Systems : Architectures, Design Methods and Applications /
Published: (2010) -
COBOL From Pascal
by: Tyrrell, A.J.
Published: (1989) -
Expert F# 4.0 /
by: Syme, Don., et al.
Published: (2015) -
Introduction to Compiler Design /
by: Mogensen, Torben Ægidius.
Published: (2017)