3 citations · 9 across the 11 of their papers we have counts for
Showing cs.ARShow all
2 papers · 1 filter
cs.AR2023★ 3 cited
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks
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…
cs.AR2017
Advanced Datapath Synthesis using Graph Isomorphism
Cunxi Yu, Mihir Choudhury, Andrew Sullivan +1
This paper presents an advanced DAG-based algorithm for datapath synthesis that targets area minimization using logic-level resource sharing. The problem of identifying common spec…