Translation validation of scheduling in high level synthesis

Tun Li, Yang Guo, Wanwei Liu, Mingsheng Tang. Translation validation of scheduling in high level synthesis. In José Luis Ayala, Alex K. Jones, Patrick H. Madden, Ayse Kivilcim Coskun, editors, Great Lakes Symposium on VLSI 2013 (part of ECRC), GLSVLSI'13, Paris, France, May 2-4, 2013. pages 101-106, ACM, 2013. [doi]

Abstract

Abstract is missing.