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