3 citations · 3 across the 6 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…