Rule inference and localization during synthesis of logic...

Details Rule inference and localization during synthesis of logic... Rule inference and localization during synthesis of logic...

G - Physics

06

F

354/46

G06F 17/50 (2006.01) G06N 5/04 (2006.01)

Patent

CA 2016508

A logic method for accessing rules in a logic circuit synthesis system. Rules are associated with model instances representing circuit components and contained in a data base. Application of the rules results in the replacement of one or more of the model instances with other model instances or in alteration of values associated with the model instances or in the alteration of parameter values in the data base. Model instances are designated as VISIBLE or INVISIBLE. INVISIBLE model instances are ignored during logic circuit synthesis. That is, the rules associated with INVISIBLE model instances are not tested. VISIBLE model instances may be NEW or INACTIVE. All VISIBLE model instances are initially NEW. If no rule associated with a model instance is TRUE, the model instance becomes INACTIVE. If at least one rule associated with a model instance is TRUE, one or more model instances are replaced and all inserted model instances and model instances directly connected to the inserted model instances become NEW. The number of model instances a rule will replace is called a SIZEWIN value of the rule. During synthesis, each VISIBLE, NEW model instance is paired with its associated rule having the greatest SIZEWIN value. The instance-rule pairs are grouped by SIZEWIN value and the rules of the groups having the greatest SIZEWIN value are tested first. The rules of the group having the smallest SIZEWIN value are tested last. If a model instance has been replaced by a previously executed rule, it is designated as DELETED and its associated, paired rule will evaluate to FALSE.

Méthode logique d'accès à des règles dans un système de synthèse de circuits logiques. Les règles sont associées à des instances de modèle représentant des composants de circuit et contenues dans une base de données. L'application des règles entraîne le remplacement d'une des instances de modèle ou plus par d'autres instances de modèle ou la modification de valeurs associées aux instances de modèle ou la modification de valeurs de paramètres dans la base de données. Les instances de modèle sont désignées par les termes VISIBLE ou INVISIBLE. La synthèse de circuits logiques ne tient pas compte des instances de modèle INVISIBLES. C'est-à-dire que les règles associées aux instances de modèle INVISIBLES ne sont pas testées. Les instances de modèle VISIBLES peuvent être soit NOUVELLES ou INACTIVES. Toutes les instances de modèle VISIBLES sont initialement NOUVELLES. Si aucune règle associée à une instance de modèle n'est VRAIE, l'instance de modèle devient INACTIVE. Si au moins une règle associée à une instance de modèle est VRAIE, une ou plusieurs instances de modèle sont remplacées et toutes les instances de modèle insérées et les instances de modèle directement rattachées aux instances de modèle insérées deviennent NOUVELLES. Le nombre d'instances de modèle qu'une règle remplacera est appelé valeur SIZEWIN de la règle. Lors de la synthèse, chaque instance de modèle VISIBLE NOUVELLE est jumelée à sa règle associée ayant la plus grande valeur SIZEWIN. Les paires instance-règle sont groupées par valeur SIZEWIN et les règles des groupes ayant la plus grande valeur SIZEWIN sont testées en premier. Les règles du groupe ayant la plus petite valeur SIZEWIN sont testées en dernier. Si une instance de modèle a été remplacée par une règle exécutée antérieurement, elle est désignée comme SUPPRIMÉE et la règle associée qui lui est jumelée sera jugée FAUSSE.

Affiliated with

Also associated with

Rating

Rule inference and localization during synthesis of logic... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Rule inference and localization during synthesis of logic..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rule inference and localization during synthesis of logic... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1710421