Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking.

Zhihan Chen, Xindi Zhang, Yuhang Qian, Qiang Xu, Shaowei Cai

Browse the full ICCAD paper archive.