@inproceedings{DBLP:conf/date/YangHCLRX16,
 author = {Zhenkun Yang and
Kecheng Hao and
Kai Cong and
Li Lei and
Sandip Ray and
Fei Xie},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/date/YangHCLRX16.bib},
 booktitle = {2016 Design, Automation & Test in Europe Conference & Exhibition,
DATE 2016, Dresden, Germany, March 14-18, 2016},
 editor = {Luca Fanucci and
Jürgen Teich},
 pages = {1652--1657},
 publisher = {IEEE},
 timestamp = {Sat, 23 Aug 2025 01:00:00 +0200},
 title = {Validating scheduling transformation for behavioral synthesis},
 url = {https://ieeexplore.ieee.org/document/7459577/},
 year = {2016}
}