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 non-symmetric inputs than that of previous work. © 2004 IEEE.