摘要 |
In one embodiment, a method comprises partitioning a circuit description into simulateable partitions; sorting the simulateable partitions into classes wherein each simulateable partition included in a given class is equivalent to each other partition in the given class with a specified tolerance; associating a dynamic state machine with each class, wherein states of the dynamic state machine correspond to states reached by at least one simulateable partition in the given class during a simulation; during a simulation of the circuit description, the result of which is stored for user display: responsive to a current state in the dynamic state machine for a first simulateable partition in the given class and further responsive to input stimuli to the first simulateable partition, matching the one or more input stimuli to stimuli associated with a next state edge from the current state; and changing the current state of the first simulateable partition to a second state of the dynamic state machine indicated by the next state edge. |