Biblio
2005
G. Parthasarathy, Iyer, M. K., Cheng, K. - T. Tim, and Brewer, F.,
“RTL SAT simplification by boolean and interval arithmetic reasoning”, in
Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design, 2005, pp. 297–302.
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.