Structural search for RTL with predicate learning

Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer. Structural search for RTL with predicate learning. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 451-456, ACM, 2005. [doi]

Authors

Ganapathy Parthasarathy

This author has not been identified. Look up 'Ganapathy Parthasarathy' in Google

Madhu K. Iyer

This author has not been identified. Look up 'Madhu K. Iyer' in Google

Kwang-Ting Cheng

This author has not been identified. Look up 'Kwang-Ting Cheng' in Google

Forrest Brewer

This author has not been identified. Look up 'Forrest Brewer' in Google