US5095441A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Rule inference and localization during synthesis of logic circuit designs
Assignee: Hewlett Packard Development Co LP
•
Filing: 1989-06-28
•
Granted: 1992-03-10
•
Expires: 2009-06-28
Abstract
Abstract A logic method for accessing rules in a logic circuit synthesis system. Application of rules in a data base results in replacement of one or more 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. VISIBLE model instances may be NEW or INACTIVE. All VISIBLE model instances are initially NEW. If no rule assciated 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. If a model instance has been replaced by a previously executed rule, it is designated as DELETED and its associated, paired rule evaluates to FALSE.
Inventors
- 👤 Donald F. Hopper
- 👤 Edward G. Fortmiller
- 👤 Snehamay Kundu
- 👤 David F. Wall
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-27 03:10
CPC Classifications
G; G06; G06F; G06F30/00; G06F30/30; G06F30/32; G06F30/327; G06N; G06N5/00; G06N5/04; Y; Y10; Y10S; Y10S706/00; Y10S706/902; Y10S706/919; Y10S706/921
Claims Analysis
Total Claims: 48
Claim 1
Independent Claim
252 words
A process of synthesizing a circuit design by replacing a first set of model instances stored in the data base and representing the circuit design with a second set of model instances stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances and by altering parameter values of objects in the data base by application of the set of rules, each of the rules having an antecedent portion and a consequence portion, the method comprising the steps of: storing the set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or of altering parameter value of an object in the data base, and each rule having an associated SIZEWIN value representing a figure of merit; assigning an associated rule to at least one of the model instances in the first set to provide a set of instance-rule pairs; arranging the set of instance-rule pairs into groups according to the SIZEWIN values of the rules of the pairs; and applying a consequence portion of respective ones of the rules of the instance-rule pairs by group to ones of the model instances when an antecedent portion of respective ones of the rules is TRUE.
Claim 2
Dependent Claim
252 words
A process of synthesizing a circuit design by replacing a first set of model instances stored in the data base and representing the circuit design with a second set of model instances stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances and by altering parameter values of objects in the data base by application of the set of rules, each of the rules having an antecedent portion and a consequence portion, the method comprising the steps of: storing the set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or of altering parameter value of an object in the data base, and each rule having an associated SIZEWIN value representing a figure of merit; assigning an associated rule to at least one of the model instances in the first set to provide a set of instance-rule pairs; arranging the set of instance-rule pairs into groups according to the SIZEWIN values of the rules of the pairs; and applying a consequence portion of respective ones of the rules of the instance-rule pairs by group to ones of the model instances when an antecedent portion of respective ones of the rules is TRUE.
Claim 3
Dependent Claim
49 words
The process of claim 1, wherein the step of applying the rules of the instance-rule pairs by group further includes: applying the rules of a group including rules having the largest SIZEWIN value first; and applying the rules of a group including rules having the smallest SIZEWIN value last.
Claim 4
Dependent Claim
51 words
The process of claim 1, wherein the step of storing the set of rules in the data base further includes the step of: assigning a predetermined SIZEWIN value to at least one rule, wherein the predetermined SIZEWIN value represents a relative importance of the rule in comparison to the other rules.
Claim 5
Dependent Claim
49 words
The process of claim 1, wherein the step of storing the rules in the data base further includes the step of: assigning a predetermined SIZEWIN value to at least one rule, wherein the predetermined SIZEWIN value represents the number of model instances that the rule is capable of replacing.
Claim 6
Dependent Claim
39 words
The process of claim 1, wherein the step of assigning an associated rule to at least one of the model instances of the first set further includes the step of assigning an associated rule having the highest SIZEWIN value.
Claim 7
Dependent Claim
74 words
The process of claim 1, wherein each of the rules evaluates to one of TRUE and FALSE for each model instance with which it is associated, and wherein the step of assigning an associated rule to at least one of the model instances of the first set includes the step of assigning an associated rule when the rule evaluates to TRUE for the at least one model instance with which the rule is associated.
Claim 8
Dependent Claim
43 words
The process of claim 1, wherein the steps of assigning, arranging, and applying form a minor loop and the process further includes the step of iteratively performing the minor loop until no rules were assigned in the assigning step of a previous iteration.
Claim 9
Dependent Claim
30 words
The process of claim 7, further including the step of iteratively performing the testing and performing steps until all the rules of the set of instance-rule pairs have been tested.
Claim 10
Dependent Claim
76 words
The process of claim 1, wherein a rule includes an antecedent portion containing a test and a consequence portion containing an action and wherein the applying step further includes the steps of: testing the antecedent portion of one of the assigned rules; and performing the consequence portion of the assigned rule when the testing step determines that the antecedent portion evaluates to TRUE and when the model instance paired with the rule has not been replaced.
Claim 11
Dependent Claim
55 words
The process of claim 9, wherein the antecedent portion of a rule refers to a plurality of model instances, and wherein the performing step further includes the step of performing the consequence portion of the assigned rule when the antecedent portion of the assigned rule does not refer to model instances that have been replaced.
Claim 12
Dependent Claim
54 words
The process of claim 10, wherein a replaced model instance is designated as DELETED, and wherein the performing step of claim 10 further includes the step of performing the consequence portion of the assigned rule when the antecedent portion of the assigned rule does not refer to model instances that are designed as DELETED.
Claim 13
Dependent Claim
58 words
The process of claim 9, wherein a replaced model instance is designated as DELETED, and wherein the performing step further includes the step of performing the consequence portion of the assigned rule when the testing step determines that the antecedent portion evaluates to TRUE and when the model instance paired with the rule is not designated as DELETED.
Claim 14
Dependent Claim
210 words
A process of synthesizing a circuit design by replacing a first set of model instances stored in a data base and representing the circuit design with a second set of model instances stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances, each of the rules having an antecedent portion and a consequence portion, the method comprising the steps of: storing the set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or of altering a parameter value of an object in the data base; designating ones of the first set of model instances as VISIBLE; and applying a consequence portion of ones of the subsets of rules associated with the VISIBLE model instances in the first set of model instances to replace ones of the first set of model instances with model instances in the second set when an antecedent portion of respective ones of the rules is TRUE.
Claim 15
Dependent Claim
210 words
A process of synthesizing a circuit design by replacing a first set of model instances stored in a data base and representing the circuit design with a second set of model instances stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances, each of the rules having an antecedent portion and a consequence portion, the method comprising the steps of: storing the set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or of altering a parameter value of an object in the data base; designating ones of the first set of model instances as VISIBLE; and applying a consequence portion of ones of the subsets of rules associated with the VISIBLE model instances in the first set of model instances to replace ones of the first set of model instances with model instances in the second set when an antecedent portion of respective ones of the rules is TRUE.
Claim 16
Dependent Claim
40 words
The process of claim 13, wherein the designating step further includes the steps of: designating other ones of the first set of model instances as INVISIBLE; and declining to apply the subsets of rules associated with the INVISIBLE model instances.
Claim 17
Dependent Claim
59 words
The process of claim 14, wherein the step of applying ones of the subsets of rules associated with the VISIBLE model instances further includes the steps of applying ones of the subsets of rules associated with the VISIBLE model instances to replace ones of the first set of model instances, wherein the replaced model instances include INVISIBLE model instances.
Claim 18
Dependent Claim
247 words
A process of synthesizing a circuit design by replacing a first set of model instances stored in a data base and representing the circuit design with a second set of model instanced stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances and by altering parameter values of objects in the data base by application of the set of rules, each of the rules including an antecedent portion and a consequence portion, the method comprising the steps of: storing the set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or of altering a parameter value of an object in the data base; assigning an associated rule to at least one of the model instances in the first set to provide a set of instance-rule pairs, wherein performance of the assigning step results in other model instances of the first set lacking an assigned rule; applying the consequence portion of one of the rules of the instance-rule pairs to ones of the model instances when the antecedent portion of respective ones of the rules is TRUE; and designating as INACTIVE the model instances lacking an assigned rule.
Claim 19
Dependent Claim
247 words
A process of synthesizing a circuit design by replacing a first set of model instances stored in a data base and representing the circuit design with a second set of model instanced stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances and by altering parameter values of objects in the data base by application of the set of rules, each of the rules including an antecedent portion and a consequence portion, the method comprising the steps of: storing the set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or of altering a parameter value of an object in the data base; assigning an associated rule to at least one of the model instances in the first set to provide a set of instance-rule pairs, wherein performance of the assigning step results in other model instances of the first set lacking an assigned rule; applying the consequence portion of one of the rules of the instance-rule pairs to ones of the model instances when the antecedent portion of respective ones of the rules is TRUE; and designating as INACTIVE the model instances lacking an assigned rule.
Claim 20
Dependent Claim
21 words
The process of claim 16, further including the step of initially designating each model instance in the first set as NEW.
Claim 21
Dependent Claim
42 words
The process of claim 17, wherein the assigning step further includes the step of assigning an associated rule only to NEW model instances in the first set to provide a set of instance-rule pairs, thus causing model instances lacking an assigned rule.
Claim 22
Dependent Claim
54 words
The process of claim 18, wherein the steps of assigning, applying, and designating of claim 18 are performed in a plurality of iterations, and wherein the step of designating as INACTIVE further includes the step of designating as INACTIVE a model instance that has lacked an associated rule during at least two successive iterations.
Claim 23
Dependent Claim
33 words
The process of claim 19, wherein the step of designating as INACTIVE further includes the step of designating as SEMIACTIVE a model instance that has lacked an assigned rule during a single iteration.
Claim 24
Dependent Claim
27 words
The process of claim 18, further including the steps of: designating as NEW all model instances directly connected to a model instance replacing a current model instance.
Claim 25
Independent Claim
262 words
An apparatus for synthesizing a circuit design by replacing a first set of model instances stored in a data base and representing the circuit design with a second set of model instances stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances and by altering parameter values of objects in the data base by application of the set of rules, the rules including an antecedent portion and a consequence portion, the apparatus comprising: means for storing the set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or to alter a parameter value of an object in the data base, and each rule having an associated SIZEWIN value representing a figure of merit; means for assigning an associated rule to at least one of the model instances in the first set to provide a set of instance-rule pairs; means for arranging the set of instance-rule pairs into groups according to the SIZEWIN values of the rules of the pairs; and means for applying a consequence portion of the rules of the instance-rule pairs by group to replace model instances of the first set of model instances of the second set when the antecedent portion of respective ones of the rules is TRUE.
Claim 26
Independent Claim
262 words
An apparatus for synthesizing a circuit design by replacing a first set of model instances stored in a data base and representing the circuit design with a second set of model instances stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances and by altering parameter values of objects in the data base by application of the set of rules, the rules including an antecedent portion and a consequence portion, the apparatus comprising: means for storing the set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or to alter a parameter value of an object in the data base, and each rule having an associated SIZEWIN value representing a figure of merit; means for assigning an associated rule to at least one of the model instances in the first set to provide a set of instance-rule pairs; means for arranging the set of instance-rule pairs into groups according to the SIZEWIN values of the rules of the pairs; and means for applying a consequence portion of the rules of the instance-rule pairs by group to replace model instances of the first set of model instances of the second set when the antecedent portion of respective ones of the rules is TRUE.
Claim 27
Dependent Claim
50 words
The apparatus of claim 22, wherein the means for storing the set of rules in the data base further includes: means for assigning a predetermined SIZEWIN value to at least one rule, wherein the predetermined SIZEWIN value represents a relative importance of the rule in comparison to the other rules.
Claim 28
Dependent Claim
53 words
The apparatus of claim 23, wherein the means for applying the rules of the instance-rule pairs by group further includes: means for applying the rules of a group including rules having the largest SIZEWIN value first; and means for applying the rules of a group including rules having the smallest SIZEWIN value last.
Claim 29
Dependent Claim
50 words
The apparatus of claim 22, wherein the means for storing the set of rules in the data base further includes: means for assigning a predetermined SIZEWIN value to at least one rule, wherein the predetermined SIZEWIN value represents the number of model instances that the rule is capable of replacing.
Claim 30
Dependent Claim
38 words
The apparatus of claim 22, wherein the means for assigning an associated rule to at least one of the model instances of the first set further includes means for assigning an associated rule having the highest SIZEWIN value.
Claim 31
Dependent Claim
73 words
The apparatus of claim 22, wherein each of the rules evaluates to one of TRUE and FALSE for each model instance with which it is associated, and wherein the means for assigning an associated rule to at least one of the model instances of the first set includes means for assigning an associated rule when the rule evaluates to TRUE for the at least one model instance with which the rule is associated.
Claim 32
Dependent Claim
60 words
The apparatus of claim 22, wherein the means for assigning, means for arranging, and means for applying perform their respective functions in iteration forming a minor loop and wherein the apparatus further includes means for ceasing performance of the minor loop when no rules were assigned by the means for assigning in a most recent iteration of the minor loop.
Claim 33
Dependent Claim
30 words
The apparatus of claim 28, further including means for ceasing performance of the testing and performing steps when all the rules of the set of instance-rule pairs have been tested.
Claim 34
Dependent Claim
80 words
The apparatus of claim 22, wherein a rule includes an antecedent portion containing a test and a consequence portion containing an action and wherein the means for applying further includes: means for testing the antecedent portion of one of the assigned rules; and means for performing the consequence portion of the assigned rule when the means for testing step determines that the antecedent portion evaluates to TRUE and when the model instance paired with the rule has not been replaced.
Claim 35
Dependent Claim
55 words
The apparatus of claim 30, wherein the antecedent portion of a rule refers to a plurality of model instances, and wherein the means for performing further includes means for performing the consequence portion of the assigned rule when the antecedent portion of the assigned rule does not refer to model instances that have been replaced.
Claim 36
Dependent Claim
54 words
The apparatus of claim 31, wherein a replaced model instance is designated as DELETED, and wherein the means for performing of claim 31 further includes means for performing the consequence portion of the assigned rule when the antecedent portion of the assigned rule does not refer to model instances that are designated as DELETED.
Claim 37
Dependent Claim
59 words
The apparatus of claim 30, wherein a replaced model instance is designated as DELETED, and wherein the means for performing further includes means for performing the consequence portion of the assigned rule when the means for testing determines that the antecedent portion evaluates to TRUE and when the model instance paired with the rule is not designated as DELETED.
Claim 38
Independent Claim
231 words
An apparatus for synthesizing a circuit design by replacing a first set of model instances stored in a data base and representing the circuit design with a second set of model instances stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances and by altering parameter values of objects in the data base by application of the set of rules, each of the rules including an antecedent portion and a consequence portion, the apparatus comprising: means for storing a set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or to alter a parameter value of an object in the data base; means for designating ones of the first set of model instances as VISIBLE; and means for applying a consequence portion of ones of the subsets of rules associated with the VISIBLE model instances in the first set of model instances to replace ones of the first set of model instances with model instances in the second set when the antecedent portion of respective ones of the rules is TRUE.
Claim 39
Independent Claim
231 words
An apparatus for synthesizing a circuit design by replacing a first set of model instances stored in a data base and representing the circuit design with a second set of model instances stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances and by altering parameter values of objects in the data base by application of the set of rules, each of the rules including an antecedent portion and a consequence portion, the apparatus comprising: means for storing a set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or to alter a parameter value of an object in the data base; means for designating ones of the first set of model instances as VISIBLE; and means for applying a consequence portion of ones of the subsets of rules associated with the VISIBLE model instances in the first set of model instances to replace ones of the first set of model instances with model instances in the second set when the antecedent portion of respective ones of the rules is TRUE.
Claim 40
Dependent Claim
42 words
The apparatus of claim 34, wherein the means for designating further includes: means for designating other ones of the first set of model instances as INVISIBLE; and means for declining to apply the subsets of rules associated with the INVISIBLE model instances.
Claim 41
Dependent Claim
58 words
The apparatus of claim 35, wherein the means for applying ones of the subsets of rules associated with the VISIBLE model instances further includes means for applying ones of the subsets of rules associated with the VISIBLE model instances to replace ones of the first set of model instances, wherein the replaced model instances include INVISIBLE model instances.
Claim 42
Independent Claim
252 words
An apparatus for synthesizing a circuit design by replacing a first set of model instances stored in a data base and representing the circuit design with a second set of model instances stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances and by altering parameter values of objects in the data base by application of the set of rules, each of the rules including an antecedent portion and a consequence portion, the apparatus comprising: means for storing the set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or to alter a parameter value of an object in the data base; means for assigning an associated rule to at least one of the model instances in the first set to provide a set of instance-rule pairs, wherein performance of the assigning step results in other model instances of the first set lacking an assigned rule; means for applying a consequence portion of ones of the rules of the instance-rule pairs to ones of the model instances when the antecedent portion of respective ones of the rules is TRUE; and means for designating as INACTIVE the model instances lacking an assigned rule.
Claim 43
Independent Claim
252 words
An apparatus for synthesizing a circuit design by replacing a first set of model instances stored in a data base and representing the circuit design with a second set of model instances stored in the data base and representing specific logic components of the circuit design by application of a set of rules to the first set of model instances and by altering parameter values of objects in the data base by application of the set of rules, each of the rules including an antecedent portion and a consequence portion, the apparatus comprising: means for storing the set of rules in the data base, subsets of the rules being associated with model instances in the first set of model instances, each associated rule capable of being applied to replace at least one model instance in the first set with at least one new model instance in the second set or to alter a parameter value of an object in the data base; means for assigning an associated rule to at least one of the model instances in the first set to provide a set of instance-rule pairs, wherein performance of the assigning step results in other model instances of the first set lacking an assigned rule; means for applying a consequence portion of ones of the rules of the instance-rule pairs to ones of the model instances when the antecedent portion of respective ones of the rules is TRUE; and means for designating as INACTIVE the model instances lacking an assigned rule.
Claim 44
Dependent Claim
20 words
The apparatus of claim 37, further including means for initially designating each model instance in the first set as NEW.
Claim 45
Dependent Claim
42 words
The apparatus of claim 38, wherein the means for assigning further includes means for assigning an associated rule only to NEW model instances in the first set to provide a set of instance-rule pairs, thus causing model instances lacking an assigned rule.
Claim 46
Dependent Claim
55 words
The apparatus of claim 39, wherein the steps of assigning, applying, and designating of claim 39 are performed in a plurality of iterations, and wherein the means for designating model instances as INACTIVE further includes means for designating as INACTIVE a model instance that has lacked an associated rule during at least two successive iterations.
Claim 47
Dependent Claim
34 words
The apparatus of claim 40 wherein the means for designating model instances as INACTIVE further includes means for designating as SEMIACTIVE a model instance that has lacked an assigned rule during a single iteration.
Claim 48
Dependent Claim
26 words
The apparatus of claim 39, further including: means for designating as NEW all model instances directly connected to a model instance replacing a current model instance.
References Cited (Backward Citations)
GB1445914A
Cited
US4510616A
Cited
US4613940A
Cited
US4554631A
Cited
US4700317A
Cited
US4656603A
Cited
US4703435A
Cited
US4937755A
Cited
US4922432A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1995-03-10 | 1995-09-09 | 1996-03-10 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 1999-03-10 | 1999-09-09 | 2000-03-10 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2003-03-10 | 2003-09-09 | 2004-03-10 | $7700.00 | Window Closed / Lapsed |