most citedDatapath Combinational Equivalence Checking With Hybrid Sweeping Engines and Parallelization

9 citations · 10 across the 4 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…