Graph automorphism-based algorithm for determining symmetric inputs

Abstract

We propose a graph automorphism-based algorithm for computing maximal sets of symmetric inputs of circuits. It can be used to identity nonsymmetric inputs in a circuit and enhance the efficiency of input matching, library binding, as well as logic verification problems. We conduct the experiments on some benchmarks. The experimental results demonstrate that our approach distinguishes more nonsymmetric inputs than that of previous work.