Method and system for selection and replacement of subcircuits in equivalence checking
US7373618B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 10, 2005 |
| Grant date | May 13, 2008 |
| Priority date | — |
| Expiry date | Jun 19, 2026 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/3323
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system, method, computer program, and article of manufacture for generating a golden circuit including datapath components for equivalence checking of synthesized revised circuit. The method includes generating a set of static, dynamic and derived candidates for the datapath component subcircuit, evaluating the similarity degree for each candidate in relation to the revised circuits and selecting one candidate for implementation in the golden circuit. As a result, the subcircuit of datapath component in the golden circuit is replaced with the subcircuit which is more similar to the revised circuit to improve the efficiency of the equivalence checking.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.