Login / Signup
Fixing Design Errors With Counterexamples and Resynthesis.
Kai-Hui Chang
Igor L. Markov
Valeria Bertacco
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
</>
design decisions
design process
design principles
engineering design
real world
artificial intelligence
feature selection
case study
data structure
computer aided
design space