Methods and apparatuses for checking equivalence of circuits
US6691286B1 · kind B1 · utility
19Cited by
13References
46Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Oct 29, 2001 |
| Grant date | Feb 10, 2004 |
| Priority date | — |
| Expiry date | Feb 2, 2022 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2117/04
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Methods and systems for designing integrated circuits. In one exemplary method, a first plurality of points in a first representation of a circuit are identified, and the first representation is modified to produce a second representation for which a second plurality of points are identified. The first representation is compared to the second representation at the first plurality and second plurality of points to determine whether the first representation is equivalent to the second representation. Other features and embodiments are also described.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.