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.

 
Web www.patentalert.com

< Insertion of prefetch instructions into computer program code

< RTL annotation tool for layout induced netlist changes

> Method and apparatus for reducing optical proximity correction output file size

> Control methods and apparatus for coupling multiple image acquisition devices to a digital data processor

~ 00052