Datapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization

Zhihan Chen, Xindi Zhang, Yuhang Qian +1

In the application of IC design for microprocessors, there are often demands for optimizing the implementation of datapath circuits, on which various arithmetic operations are perf…