Structural search for RTL with predicate learning.

Ganapathy Parthasarathy Madhu K. Iyer Kwang-Ting Cheng Forrest Brewer

Published in: DAC (2005)

Keyphrases

learning algorithm
learning systems
search algorithm
learning tasks
incremental learning
reinforcement learning
inductive inference
database
data sets
feature selection
search space
knowledge acquisition
explanation based learning
search efficiency
macro operators