TY  - RPRT
TI  - MEC: An Open-source Fine-grained Mapping Equivalence Checking Tool for FPGA
AU  - Liwei Ni
AU  - Zonglin Yang
AU  - Jiaxi Zhang
AU  - Changhong Feng
AU  - Jianhua Liu
AU  - Guojie Luo
AU  - Huawei Li
AU  - Biwei Xie
AU  - Xingquan Li
PY  - 2023
UR  - https://arxiv.org/abs/2312.14541
ID  - 2312.14541
ER  -