Incremental Design Debugging in a Logic Synthesis Environment.

Andreas G. Veneris Jiang Brandon Liu

Published in: J. Electron. Test. (2005)

Keyphrases

logic synthesis
database
machine learning
design process
inductive learning
logic circuits