5 citations · 5 across the 10 of their papers we have counts for
Showing cs.ARShow all
3 papers · 1 filter
cs.AR2025
BoolSkeleton: Boolean Network Skeletonization via Homogeneous Pattern Reduction
Liwei Ni, Jiaxi Zhang, Shenggen Zheng +5
Boolean equivalence allows Boolean networks with identical functionality to exhibit diverse graph structures. This gives more room for exploration in logic optimization, while also…
cs.AR2023
MEC: An Open-source Fine-grained Mapping Equivalence Checking Tool for FPGA
Liwei Ni, Zonglin Yang, Jiaxi Zhang +6
Technology mapping is an essential step in EDA flow. However, the function of the circuit may be changed after technology mapping, and equivalence checking (EC) based verification…
cs.AR2023★ 5 cited
iEDA: An Open-Source Intelligent Physical Implementation Toolkit and Library
Xingquan Li, Simin Tao, Zengrong Huang +53
Open-source EDA shows promising potential in unleashing EDA innovation and lowering the cost of chip design. This paper presents an open-source EDA project, iEDA, aiming for buildi…