8 citations · 8 across the 5 of their papers we have counts for
1 paper · 1 filter
Kezhi Li, Min Li, Qiang Xu
Formal verification of highly optimized arithmetic circuits at the gate-level remains a significant challenge due to the state space explosion problem. Although Symbolic Computer A…