System for verifying leaf-cell circuit properties
US6405351B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 27, 2000 |
| Grant date | Jun 11, 2002 |
| Priority date | — |
| Expiry date | Dec 7, 2020 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/33
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer system (10). The computer system comprises processing circuitry (14) and storage circuitry (24) for storing a plurality of files. The plurality of files include a circuit description file (243) comprising data describing devices and signals in a circuit. The plurality of files also include a plurality of list expressions (244) relating to one of devices, signals, or devices and signals described by the data in the circuit description. Still further, the plurality of files also include a plurality of rules (245). The processing circuitry is programmed to perform various steps. These steps include processing (34) the plurality of list expressions to extract a plurality of lists in response to the circuit description. Each of the plurality of lists comprises a non-negative integer number of elements. The programmed steps further include processing (38) the plurality of rules to evaluate one or more of the plurality of lists to verify connection accuracy within the circuit in response to the non-negative integer number of elements.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.