Tun Li, Yang Guo, Wanwei Liu, Chiyuan Ma. Efficient translation validation of high-level synthesis. In International Symposium on Quality Electronic Design, ISQED 2013, Santa Clara, CA, USA, March 4-6, 2013. pages 516-523, IEEE, 2013. [doi]
Abstract is missing.