Abstract: Combinational Equivalence Checking (CEC) is essential for circuit verification, but traditional heuristic-based sweeping engine selection often results in inefficiencies. To address this, we ...