213 citations · 316 across the 10 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.AR2021★ 32 cited
IronMan: GNN-assisted Design Space Exploration in High-Level Synthesis via Reinforcement Learning
Nan Wu, Yuan Xie, Cong Hao
Despite the great success of High-Level Synthesis (HLS) tools, we observe several unresolved challenges: 1) the high-level abstraction of programming styles in HLS sometimes concea…