Equivalence checking for compiler transformations in behavioral synthesis.

Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie

Browse the full ICCD paper archive.