7. The method of claim 6 , wherein converting the automaton into a netlist comprises: determining which of the states of the automaton can be grouped together in a GOT instance; and pairing the states of the automaton based on the determination.
12. The method of claim 7 , wherein determining which of the states of the automaton can be grouped together in a GOT instance comprises determining which of the states of the automaton can be grouped together in a GOT instance using graph theory.