Structural search for RTL with predicate learning.

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

Browse the full DAC paper archive.