To identify a finite state machine and verify a circuit design, the
invention identifies, in a design description, a set of constructs, a
construct in the set of constructs, and an object in the construct. It
next identifies a first subset of constructs in the set of constructs
which can control a change of a value of the object, and then identifies a
second subset of constructs whose values can be changed directly or
indirectly by the object. The identifying and storing steps are repeated
for all objects in the construct and for all constructs in the set of
constructs. A finite state machine is identified by searching for a first
object which controls a change of a value of a second object and whose
value is also changed directly or indirectly by the second object. This
method of identifying finite state machine elements in a design
description is used by a test generator which then generates test vectors
for exercising the finite state machine elements on a test bench.
Pour identifier une machine d'état fini et vérifier une conception de circuit, l'invention identifie, dans une description de conception, un ensemble de constructions, une construction dans l'ensemble de constructions, et un objet dans la construction. Elle identifie après un premier sous-ensemble de constructions dans l'ensemble de constructions qui peuvent commander un changement d'une valeur de l'objet, et identifie alors un deuxième sous-ensemble de constructions dont les valeurs peuvent être changées directement ou indirectement par l'objet. Les étapes d'identification et de stockage sont répétées pour tous les objets dans la construction et pour toutes les constructions dans l'ensemble de constructions. Une machine d'état fini est identifiée en recherchant un premier objet qui commande un changement d'une valeur d'un deuxième objet et dont la valeur est également changée directement ou indirectement par le deuxième objet. Cette méthode d'identifier des éléments de machine d'état fini dans une description de conception est employée par un générateur d'essai qui produit alors des vecteurs d'essai pour exercer les éléments de machine d'état fini sur un essai met hors jeu.
