System, method, and computer program product for determining equivalence of netlists utilizing at least one transformation
US8122401B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Oct 29, 2008 |
| Grant date | Feb 21, 2012 |
| Priority date | — |
| Expiry date | Aug 15, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/3323
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system, method and computer program product are provided for determining equivalence of netlists utilizing at least one transformation. In use, a netlist including a plurality of infinite portions and a plurality of finite portions is identified. Additionally, at least some of the finite portions are transformed, utilizing at least one predetermined transformation. Further, an equivalence of the netlist and another netlist is determined, utilizing at least a subset of the finite portions and the infinite portions. Moreover, the transformation identifies a word-level functionality of the at least some of the finite portions by converting bit-level functionality into word-level functionality.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.