High-level synthesis techniques for in-circuit assertion-based verification.

John Curreri Greg Stitt Alan D. George

Published in: IPDPS Workshops (2010)

Keyphrases

high level synthesis
parallel architecture
high speed
design space exploration
asynchronous circuits
model checking
circuit design
digital circuits
probabilistic model
data management
dynamic environments
electronic circuits