7 citations · 14 across the 6 of their papers we have counts for
Showing cs.ARShow all
3 papers · 1 filter
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…
cs.AR2017★ 2 cited
A Dwarf-based Scalable Big Data Benchmarking Methodology
Wanling Gao, Lei Wang, Jianfeng Zhan +7
Different from the traditional benchmarking methodology that creates a new benchmark or proxy for every possible workload, this paper presents a scalable big data benchmarking meth…