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]
@inproceedings{LiGLT13-0,
title = {Translation validation of scheduling in high level synthesis},
author = {Tun Li and Yang Guo and Wanwei Liu and Mingsheng Tang},
year = {2013},
doi = {10.1145/2483028.2483070},
url = {http://doi.acm.org/10.1145/2483028.2483070},
researchr = {https://researchr.org/publication/LiGLT13-0},
cites = {0},
citedby = {0},
pages = {101-106},
booktitle = {Great Lakes Symposium on VLSI 2013 (part of ECRC), GLSVLSI'13, Paris, France, May 2-4, 2013},
editor = {José Luis Ayala and Alex K. Jones and Patrick H. Madden and Ayse Kivilcim Coskun},
publisher = {ACM},
isbn = {978-1-4503-2032-0},
}