Login / Signup
Path-Directed Abstraction and Refinement for SAT-Based Design Debugging.
Brian Keng
Andreas G. Veneris
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2013)
Keyphrases
</>
case study
design process
high level
search algorithm
data sets
e learning
engineering design