Automated debugging of SystemVerilog assertions.

Brian Keng Sean Safarpour Andreas G. Veneris

Published in: DATE (2011)

Keyphrases

hardware designs
semi automated
knowledge base
fully automated
multiscale
highly successful
general purpose
semi automatic
computer aided
context sensitive
case study
model based diagnosis
image processing
object oriented programming
automated analysis
novice programmers
e learning
young students