56 citations · 59 across the 2 of their papers we have counts for
1 paper · 1 filter
Nan Wu, Yingjie Li, Cong Hao +3
Reasoning high-level abstractions from bit-blasted Boolean networks (BNs) such as gate-level netlists can significantly benefit functional verification, logic minimization, datapat…