Simulation and satisfiability guided counter-example triage for RTL design debugging.

Zissis Poulos Yu-Shen Yang Andreas G. Veneris Bao Le

Published in: ISQED (2014)

Keyphrases

simulation environment
user interface
design process
data sets
computer aided
simulation models
information retrieval
genetic algorithm
case study
learning environment
expert systems
phase transition
text analysis
simulation software
simulation tools