Detecting corresponding paths in combinationally equivalent circuit designs
US8949766B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | May 2, 2013 |
| Grant date | Feb 3, 2015 |
| Priority date | — |
| Expiry date | May 2, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/3323
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method, apparatus and product for detecting corresponding paths in combinationally equivalent circuit designs. The method comprising: obtaining a first circuit design and a second circuit design, the first and second circuit designs have corresponding sets of input and output elements; obtaining a path in the first circuit design, the path commencing in an input element and ending in an output element, wherein the input element and the output element are connected by combinational logic elements; automatically extracting, by a computer, a sensitization function of the path in the first circuit design; and automatically determining, by the computer, one or more paths in the second circuit design which are sensitized by the sensitization function of the path.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.