Structural search for RTL with predicate learning

Submitted by superuser on Mon, 04/06/2015 - 21:08
G. Parthasarathy, Iyer, M. K., Cheng, K. - T. Tim, and Brewer, F., “Structural search for RTL with predicate learning”, in Proceedings of the 42nd annual Design Automation Conference, 2005, pp. 451–456.