System, method, and computer program product for determining equivalence of netlists utilizing abstractions and transformations
US8117571B1 · kind B1 · utility
3Cited by
1References
27Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Oct 29, 2008 |
| Grant date | Feb 14, 2012 |
| Priority date | — |
| Expiry date | Nov 26, 2029 |
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, an abstraction is performed on the netlist.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.