Login / Signup
High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis.
John Curreri
Greg Stitt
Alan D. George
Published in:
Int. J. Reconfigurable Comput. (2011)
Keyphrases
</>
high level synthesis
hardware designs
high speed
hardware description language
parallel architecture
knowledge base
model checking
circuit design
formal verification
analog circuits
asynchronous circuits
design space exploration
signal processing
integrated circuit
signature verification
electronic circuits