MEC: An Open-source Fine-grained Mapping Equivalence Checking Tool for FPGA. - Liwei Ni; Zonglin Yang; Jiaxi Zhang 001; Changhong Feng; Jianhua Liu; Guojie Luo; Huawei Li 001; Biwei Xie; Xingquan Li (CoRR, 2023)