Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Mandal, Chris Reade. Hand-in-hand verification of high-level synthesis. In Hai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud, editors, Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007. pages 429-434, ACM, 2007. [doi]
Abstract is missing.