Abstraction and refinement techniques in automated design debugging.

Sean Safarpour Andreas G. Veneris

Published in: DATE (2007)

Keyphrases

automated design
hardware designs
evolutionary design

engineering design
artificial immune algorithm
security protocols

mechanism design
neural network

machine learning
special case