1. A method in data processing system, said method comprising: importing a design netlist containing one or more components; computing one or more output functions for said one or more components; generating one or more output equivalent state sets from said one or more output functions; identifying one or more next-state functions for said one or more components; producing one or more image equivalent state sets for said one or more next-state functions; classifying one or more output-and-image equivalent state sets for said one or more image equivalent state sets and said one or more output equivalent state sets; selecting one or more input representatives of said one or more equivalent input sets; forming an input map from said one or more input representatives; synthesizing said input map; and injecting said input map back into said netlist to generate a modified netlist.