Latch inference using dataflow analysis
US6077305A · kind A · utility
11Cited by
4References
6Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 16, 1998 |
| Grant date | Jun 20, 2000 |
| Priority date | — |
| Expiry date | Dec 16, 2018 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/33
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system and method are provided for selectively inferring latch elements in a circuit design from an event-driven hardware description language (HDL) file to an event-independent format. The method includes modeling the file as a plurality of data flow equations, analyzing the plurality of equations for uninitialized variables, and placing a latch at any utilized, uninitialized variable. Control signal information for an inferred latch is also derived during the data flow analysis.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.