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