Integrated circuits - Verification.
Overview
| Works: | 27 works in 12 publications in 12 languages | |
|---|---|---|
Titles
Advanced techniques for assertion-based verification in hardware designs using data mining algorithms
by:
(Language materials, printed)
Generating Hardware Assertion Checkers = For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /
by:
(Language materials, printed)
Functional Verification of Programmable Embedded Architectures = A Top-Down Approach /
by:
(Language materials, printed)
Systemverilog for verification = a guide to learning the testbench language features /
by:
(Language materials, printed)
Functional verification of programmable embedded architectures : = a top-down approach /
by:
(Language materials, printed)
The simple art of SoC design = closing the gap between RTL and ESL /
by:
(Language materials, printed)
High-level verification = methods and tools for verification of system-level designs /
by:
(Language materials, printed)
Taxonomies for the Development and Verification of Digital Systems
by:
(Language materials, printed)
SystemVerilog for verification = a guide to learning the testbench language features /
by:
(Language materials, printed)
Advanced verification techniques = a SystemC based approach for successful tapeout /
by:
(Language materials, printed)
Professional verification = a guide to advanced functional verification /
by:
(Language materials, printed)
Verification by error modeling : = using testing techniques in hardware verification
by:
(Language materials, printed)
SystemVerilog assertions and functional coverage = guide to language, methodology and applications /
by:
(Language materials, printed)
Integrated circuit authentication = hardware trojans and counterfeit detection /
by:
(Language materials, printed)
Show more
Fewer
Subjects