56 citations · 59 across the 2 of their papers we have counts for
2 papers
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.LG2022★ 56 cited
High-Level Synthesis Performance Prediction using GNNs: Benchmarking, Modeling, and Advancing
Nan Wu, Hang Yang, Yuan Xie +2
Agile hardware development requires fast and accurate circuit quality evaluation from early design stages. Existing work of high-level synthesis (HLS) performance prediction usuall…