Handling design and implementation optimizations in equivalence checking for behavioral synthesis.

Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie

Browse the full DAC paper archive.