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.
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. 10. The method of claim 7 , wherein a first and a second state of the automaton can be paired together in a GOT instance when one of the first and the second state of the automaton are a final state of the automaton, and the other of the first and the second states of the automaton does not drive any external states.