Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie. Handling design and implementation optimizations in equivalence checking for behavioral synthesis. In The 50th Annual Design Automation Conference 2013, DAC '13, Austin, TX, USA, May 29 - June 07, 2013. pages 117, ACM, 2013. [doi]
Abstract is missing.