Patent US5867395A successfully refreshed from Google Patents.
US5867395A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Gate netlist to register transfer level conversion tool
Assignee: Bell Semiconductor LLC
•
Filing: 1996-06-19
•
Granted: 1999-02-02
•
Expires: 2016-06-19
Abstract
Abstract The present invention discloses a system to reverse-synthesize a gate level netlist definition of an integrated circuit (IC) design to corresponding register transfer level (RTL) definition of the same circuit. The typical process to implement an integrated circuit is to complete the RTL design first, which is then used, to generate gate level netlist definition, and eventually, a layout level design targeted to a particular process technology. The RTL design definitions, being a general description of the circuit, may be ported to different process technologies. However, the gate netlist level design, being a more specific or lower level definition of the circuit, is not easily ported to other integrated circuit design processes. To port a gate netlist level design to another process technology, the gate netlist should be converted, or reverse-synthesized back to a RTL level design. The present invention describes the method and apparatus to reverse-synthesize gate netlist level definitions into RTL definitions by parsing and analyzing the gate netlist level definition, generating an equivalent RTL definition, and verifying correctness of the RTL definition.
Inventors
- 👤 Daniel Watkins
- 👤 Gagan Gupta
- 👤 Satish Venugopal
- 👤 Kosala Abeywickrema
- 👤 Venkat Mattela
- 👤 Kumar Bhattaram
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-06 14:55
CPC Classifications
G; G06; G06F; G06F30/00; G06F30/30
Claims Analysis
Total Claims: 12
Claim 1
Independent Claim
117 words
A method of reverse-synthesizing gate netlist definition to register transfer level (RTL) definition, said method comprising the steps of: (a) using a computer to parse the gate netlist, said parsing step comprising the substeps of: determining primary inputs and primary outputs of said netlist; searching the gate netlist for flip-flops; identifying input/output (I/O) lines of said flip-flops; and tracing said I/O lines to said primary input, said primary output, and said flip-flops; (b) running a predefined set of input signals against said gate netlist and extracting netlist test results; (c) running said set of input signals against said RTL design and extracting RTL test results; and (d) comparing said netlist test results with said RTL test results.
Claim 2
Independent Claim
117 words
A method of reverse-synthesizing gate netlist definition to register transfer level (RTL) definition, said method comprising the steps of: (a) using a computer to parse the gate netlist, said parsing step comprising the substeps of: determining primary inputs and primary outputs of said netlist; searching the gate netlist for flip-flops; identifying input/output (I/O) lines of said flip-flops; and tracing said I/O lines to said primary input, said primary output, and said flip-flops; (b) running a predefined set of input signals against said gate netlist and extracting netlist test results; (c) running said set of input signals against said RTL design and extracting RTL test results; and (d) comparing said netlist test results with said RTL test results.
Claim 3
Independent Claim
108 words
A method of reverse-synthesizing integrated circuit gate netlist definition on a computer storage medium to register transfer level (RTL) definition, said method comprising: reading the gate netlist definition from the computer storage medium; identifying predetermined flip-flops and patterns of logic gates in the gate netlist; correlating said identified patterns with matching RTL definitions from a predefined RTL library, wherein said correlation between said identified patterns and said matching RTL definitions are kept in memory; mapping input and output (I/O) connections between said identified patterns; determining combinational logic between said identified patterns; and generating RTL definitions based on said matching RTL definitions, said I/O connections, and said combinational logic.
Claim 4
Independent Claim
108 words
A method of reverse-synthesizing integrated circuit gate netlist definition on a computer storage medium to register transfer level (RTL) definition, said method comprising: reading the gate netlist definition from the computer storage medium; identifying predetermined flip-flops and patterns of logic gates in the gate netlist; correlating said identified patterns with matching RTL definitions from a predefined RTL library, wherein said correlation between said identified patterns and said matching RTL definitions are kept in memory; mapping input and output (I/O) connections between said identified patterns; determining combinational logic between said identified patterns; and generating RTL definitions based on said matching RTL definitions, said I/O connections, and said combinational logic.
Claim 5
Dependent Claim
25 words
The method as defined in claim 2 wherein said correlation between said identified patterns and said matching RTL definitions are kept as a hash table.
Claim 6
Dependent Claim
20 words
The method as defined in claim 2 wherein said the I/O connections of connections are kept as a linked list.
Claim 7
Dependent Claim
18 words
The method as defined in claim 2 wherein said combinational logic information are kept as a linked list.
Claim 8
Independent Claim
145 words
An apparatus for reverse-synthesizing gate netlist definition to register transfer level (RTL) definition, said apparatus comprising: a parser for identifying primary inputs and primary ouputs of said netlist, for searching for and identifying predetermined patterns of flip-flops in the gate netlist, and for tracing input/output (I/O) lines of said flip-flops to said primary input, said primary output, and said flip-flops; a reverse-synthesizer coupled to said parser for translating said identified patterns into RTL definition for; identifying flip-flops in said gate netlist; selecting corresponding RTL constructs for said identified flip-flops from a library of RTL constructs; determining combinational logic between said flip-flops and said primary inputs and said primary outputs; and expressing said combinational logic using RTL constructs; and a verifier for running test suites on the gate netlist and on the RTL definition, obtaining results from said tests, and comparing said results from said tests.
Claim 9
Independent Claim
145 words
An apparatus for reverse-synthesizing gate netlist definition to register transfer level (RTL) definition, said apparatus comprising: a parser for identifying primary inputs and primary ouputs of said netlist, for searching for and identifying predetermined patterns of flip-flops in the gate netlist, and for tracing input/output (I/O) lines of said flip-flops to said primary input, said primary output, and said flip-flops; a reverse-synthesizer coupled to said parser for translating said identified patterns into RTL definition for; identifying flip-flops in said gate netlist; selecting corresponding RTL constructs for said identified flip-flops from a library of RTL constructs; determining combinational logic between said flip-flops and said primary inputs and said primary outputs; and expressing said combinational logic using RTL constructs; and a verifier for running test suites on the gate netlist and on the RTL definition, obtaining results from said tests, and comparing said results from said tests.
Claim 10
Dependent Claim
82 words
A computing system for reverse-synthesizing gate netlist definitions to register transfer level (RTL) definition, said system comprising: a processor; memory in communication with said processor for storing instructions for said processor, said instructions capable of causing the computer system to implement the average-synthesizing apparatus of claim 6: an input device for receiving the gate netlist definition; an output device for sending the RTL definition; and an electronic bus for connecting said processor with said memory, said input device, and said output device.
Claim 11
Dependent Claim
13 words
The system for claim 7 wherein said memory stores a RTL constructs library.
Claim 12
Dependent Claim
33 words
A computer storage medium that stores a plurality of executable instructions for instructing a computer to reverse-synthesize gate netlist definitions to register transfer level (RTL) definitions according to the method of claim 1.
References Cited (Backward Citations)
US5623418A
Cited
US5471398A
Cited
US5392227A
Cited
US5426591A
Cited
US5537330A
Cited
US5638381A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2002-02-01 | 2002-08-03 | 2003-02-02 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2006-02-01 | 2006-08-03 | 2007-02-02 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2010-02-01 | 2010-08-03 | 2011-02-02 | $7700.00 | Window Closed / Lapsed |