System, method and computer program product for equivalence checking between designs with sequential differences
US7350168B1 · kind B1 · utility
14Cited by
0References
26Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | May 12, 2005 |
| Grant date | Mar 25, 2008 |
| Priority date | — |
| Expiry date | Oct 21, 2025 |
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 equivalency checking between a first design and a second design having sequential differences. To accomplish the equivalency checking, sequential differences between a first design and a second design are identified. It is then determined whether the first design and the second design are equivalent, utilizing the identified sequential differences.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.