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]
Abstract is missing.