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…