Equivalence checking for compiler transformations in behavioral synthesis

Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie. Equivalence checking for compiler transformations in behavioral synthesis. In 2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013. pages 491-494, IEEE, 2013. [doi]

@inproceedings{YangHCRX13,
  title = {Equivalence checking for compiler transformations in behavioral synthesis},
  author = {Zhenkun Yang and Kecheng Hao and Kai Cong and Sandip Ray and Fei Xie},
  year = {2013},
  doi = {10.1109/ICCD.2013.6657090},
  url = {http://dx.doi.org/10.1109/ICCD.2013.6657090},
  researchr = {https://researchr.org/publication/YangHCRX13},
  cites = {0},
  citedby = {0},
  pages = {491-494},
  booktitle = {2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013},
  publisher = {IEEE},
}