A programmed computer searches for functional defects in a description of a circuit undergoing functional verification in the following manner. The programmed computer simulates the functional behavior of the circuit in response to a test vector, automatically restores the state of the simulation without causing the simulation to pass through a reset state, and then simulates the functional behavior of the circuit in response to another test vector. A predetermined rule can be used to identify test vectors to be simulated, and the predetermined rule can depend upon a measure of functional verification, including the number of times during simulation when a first state transition is performed by a first controller at the same time as a second state transition is performed by a second controller. During simulation of the test vectors, manually generated tests or automatically generated checkers can monitor portions of the circuit for defective behavior.

Un ordinateur programmé recherche des défauts fonctionnels dans une description d'un circuit subissant la vérification fonctionnelle de la façon suivante. L'ordinateur programmé simule le comportement fonctionnel du circuit en réponse à un vecteur d'essai, reconstitue automatiquement l'état de la simulation sans faire la simulation passer par un état de remise, et simule alors le comportement fonctionnel du circuit en réponse à un autre vecteur d'essai. Une règle prédéterminée peut être employée pour identifier des vecteurs d'essai à simuler, et la règle prédéterminée peut dépendre d'une mesure de vérification fonctionnelle, y compris le nombre de fois pendant la simulation quand une première transition d'état est exécutée par un premier contrôleur pendant qu'une deuxième transition d'état est exécutée par un deuxième contrôleur. Pendant la simulation des vecteurs d'essai, les essais manuellement produits ou les contrôleurs automatiquement produits peuvent surveiller des parties du circuit pour le comportement défectueux.