Managing complexity in design debugging with sequential abstraction and refinement.

Brian Keng Andreas G. Veneris

Published in: ASP-DAC (2011)

Keyphrases

case study
hardware designs
information retrieval
user experience
computational complexity
knowledge based systems
computational cost
expert systems
design tools
design decisions
conceptual model
worst case
evolutionary algorithm
databases
data structure
website
artificial intelligence
machine learning
real world