An Equivalence Checking Framework for Agile Hardware Design.

Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang

Browse the full ASPDAC paper archive.