US5761079A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Engineering change management system employing a smart editor
Assignee: International Business Machines Corp
•
Filing: 1997-07-30
•
Granted: 1998-06-02
•
Expires: 2017-07-30
Abstract
Abstract A system for identifying and bounding the regions of a digital electronic logic design model that are affected by design revisions. The system is useful for improving the efficiency of incremental logic synthesis systems and includes procedures for recording the signals directly affected by user revision operations and for marking signals in the logic to identify those indirectly affected. A smart editor capable of parsing the formal register transfer language (RTL) in which the logic design is described is included in the system.
Inventors
- 👤 Anthony DeGroff Drumm
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-02 15:42
CPC Classifications
G; G06; G06F; G06F30/00; G06F30/30
Claims Analysis
Total Claims: 10
Claim 1
Independent Claim
219 words
A method for identifying and bounding a portion of a digital electronic logic design having a plurality of input or output nodes, said portion being affected by a change to said logic design carried out by means of an editing procedure including one or more user edits, said digital electronic logic design having a plurality of logic signals mapped to or from one another or one or more said nodes, said method comprising the computer-executable steps of: providing said digital electronic logic design in the form of a plurality of text lines in a resister transfer language (RTL), followed by: (a) for each said user edit, identifying said logic signals that are directly affected by said each user edit and storing said affected signals in a list by: (a.1) parsing said text lines affected by said each user edit to generate logical data, and (a.2) identifying said logic signals that are potentially affected by said user edit from said logical data; (b) marking each said logic signal in said list; (c) marking each said logic signal into which said each marked logic signal is mapped and storing said each newly marked logic signal in said list; and (d) repeating said marking step (c) for each said marked signal until no new marks are made in said marking step (c).
Claim 2
Independent Claim
219 words
A method for identifying and bounding a portion of a digital electronic logic design having a plurality of input or output nodes, said portion being affected by a change to said logic design carried out by means of an editing procedure including one or more user edits, said digital electronic logic design having a plurality of logic signals mapped to or from one another or one or more said nodes, said method comprising the computer-executable steps of: providing said digital electronic logic design in the form of a plurality of text lines in a resister transfer language (RTL), followed by: (a) for each said user edit, identifying said logic signals that are directly affected by said each user edit and storing said affected signals in a list by: (a.1) parsing said text lines affected by said each user edit to generate logical data, and (a.2) identifying said logic signals that are potentially affected by said user edit from said logical data; (b) marking each said logic signal in said list; (c) marking each said logic signal into which said each marked logic signal is mapped and storing said each newly marked logic signal in said list; and (d) repeating said marking step (c) for each said marked signal until no new marks are made in said marking step (c).
Claim 3
Dependent Claim
42 words
The method of claim 1, further comprising the step of: (e) performing a Boolean comparison between an old version and a new version of said digital electronic logic design for all said nodes to or from which said marked signals are mapped.
Claim 4
Dependent Claim
57 words
The method of claim 1, further comprising the step of: (f) verifying the accuracy of said bounded portion digital logic design portion by performing a Boolean comparison between the original version and the changed version of said digital logic design for all said input and output nodes to or from which said marked logic signals are mapped.
Claim 5
Dependent Claim
149 words
An editor for digital electronic system logic design files having a first plurality of mapped logic signals, said editor comprising: a plurality of text lines in a register transfer language (RTL) that embody said digital electronic logic designs; identification means for identifying said logic signals directly affected by a user edit operation; the identification means including: parser means for parsing said text lines affected by said each user edit to generate logical data, and second identification means for identifying said logic signals that are potentially affected by said user edit from said logical data, storage means for storing said affected signals in a second list; first marker means for marking each said logic signal in said second list; and second marker means for marking each said logic signal into which said each marked logic signal is mapped and for storing said each marked logic signal in said second list.
Claim 6
Dependent Claim
149 words
An editor for digital electronic system logic design files having a first plurality of mapped logic signals, said editor comprising: a plurality of text lines in a register transfer language (RTL) that embody said digital electronic logic designs; identification means for identifying said logic signals directly affected by a user edit operation; the identification means including: parser means for parsing said text lines affected by said each user edit to generate logical data, and second identification means for identifying said logic signals that are potentially affected by said user edit from said logical data, storage means for storing said affected signals in a second list; first marker means for marking each said logic signal in said second list; and second marker means for marking each said logic signal into which said each marked logic signal is mapped and for storing said each marked logic signal in said second list.
Claim 7
Dependent Claim
41 words
The editor of claim 4, further comprising: comparison means for performing a Boolean comparison between an old version and a new version of said digital electronic logic design for all said nodes to or from which said marked signals are mapped.
Claim 8
Dependent Claim
56 words
The editor of claim 4, further comprising: comparison means for verifying the accuracy of said bounded portion digital logic design portion by performing a Boolean comparison between the original version and the changed version of said digital logic design for all said input and output nodes to or from which said marked logic signals are mapped.
Claim 9
Dependent Claim
176 words
A computer software system having a set of computer-executable instructions for editing digital electronic system logic design files including a plurality of text lines in a register transfer language (RTL) that embody a design and for bounding a portion of said design that is affected by a design change, said design files having a first plurality of mapped logic signals, said software system comprising: identification means for identifying said logic signals directly affected by a user edit operation; the identification means including: RTL parser means for parsing said text lines affected by said each user edit to generate logical data; and second identification means for identifying said logic signals that are potentially affected by said user edit from said logical data; storage means for storing said affected signals in a second list; first marker means for marking each said logic signal in said second list; and second marker means for marking each said logic signal into which said each marked logic signal is mapped and for storing said each marked logic signal in said second list.
Claim 10
Dependent Claim
176 words
A computer software system having a set of computer-executable instructions for editing digital electronic system logic design files including a plurality of text lines in a register transfer language (RTL) that embody a design and for bounding a portion of said design that is affected by a design change, said design files having a first plurality of mapped logic signals, said software system comprising: identification means for identifying said logic signals directly affected by a user edit operation; the identification means including: RTL parser means for parsing said text lines affected by said each user edit to generate logical data; and second identification means for identifying said logic signals that are potentially affected by said user edit from said logical data; storage means for storing said affected signals in a second list; first marker means for marking each said logic signal in said second list; and second marker means for marking each said logic signal into which said each marked logic signal is mapped and for storing said each marked logic signal in said second list.
References Cited (Backward Citations)
US4533997A
Cited
US4558413A
Cited
US4553997A
Cited
US4942536A
Cited
US4882690A
Cited
US4831543A
Cited
US4891766A
Cited
US5041992A
Cited
US5231590A
Cited
US5220512A
Cited
US5191541A
Cited
US5249133A
Cited
US5325309A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2001-06-01 | 2001-12-01 | 2002-06-02 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2005-06-01 | 2005-12-01 | 2006-06-02 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2009-06-01 | 2009-12-01 | 2010-06-02 | $7700.00 | Window Closed / Lapsed |