1. A method of automatically creating a test plan for a design, the method comprising: receiving a description of the design; determining an architecturally visible state in the design, wherein determining an architecturally visible state includes classifying each signal in the design as one of transient, persistent, and temporary, wherein transient signals are signals corresponding to transaction-processing finite state machines identified by abstraction heuristics, persistent signals are sequential signals left after abstraction, and temporary signals are any signals that are not transient signals or persistent signals; computing by a computer coverage points for each signal based on its classification; and outputting a set of coverage points based on the computing, the set of coverage points providing a comprehensive test plan for a simulation of the design.