9 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.LO2025
FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
Xindi Zhang, Furong Ye, Zhihan Chen +1
Combinational equivalence checking (CEC) remains a challenge EDA task in the formal verification of datapath circuits due to their complex arithmetic structures and the limited cap…
cs.DC2024★ 9 cited
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…