1. A method of analyzing a digital circuit to identify input equivalences within a circuit comprising: decomposing the circuit into one or more regions having a first set of specified characteristics; creating a modified circuit structure from the decomposed regions; and identifying input pin swap groups within the modified circuit structure.