Combinational equivalence checking on the OpenAccess Platform: Performance analysis and research opportunities

This paper presents a study on the performance of equivalence checking algorithms for combinational circuits. The algorithms are implemented in OpenAccess Gear (OAGear). OAGear is an open source development environment with a library of tools which contains the implementation of the algorithms on OpenAccess platform. The purpose of this paper is to identify the bottleneck of the tools and seek for more potential research opportunities after analyzing the experimental results. Hence, the algorithms are tested with ISCAS-85 benchmark circuits through a number of experiments. The ISCAS-85 benchmarks are verified against their non-redundant versions. Based on the experimental results, we highlight several potential research opportunities which can be further investigated by the research community.