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]
@inproceedings{ParthasarathyICB05,
title = {Structural search for RTL with predicate learning},
author = {Ganapathy Parthasarathy and Madhu K. Iyer and Kwang-Ting Cheng and Forrest Brewer},
year = {2005},
doi = {10.1145/1065579.1065698},
url = {http://doi.acm.org/10.1145/1065579.1065698},
tags = {search},
researchr = {https://researchr.org/publication/ParthasarathyICB05},
cites = {0},
citedby = {0},
pages = {451-456},
booktitle = {Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005},
editor = {William H. Joyner Jr. and Grant Martin and Andrew B. Kahng},
publisher = {ACM},
isbn = {1-59593-058-2},
}