Functional verification of power gated designs by compositional reasoning
US8086972B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jul 17, 2008 |
| Grant date | Dec 27, 2011 |
| Priority date | — |
| Expiry date | Jul 2, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/33
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A novel and useful method of functional verification of power gated designs by compositional reasoning. The method of the present invention performs a sequential equivalence check between the power gated design and a version of itself in which power gating is disabled. A compositional approach is first used to look for conditional equivalence of each functional block of the circuit (and its corresponding functional block with power gating disabled) under a suitable set of assumptions, guaranteed by the neighboring functional blocks. Circular reasoning rules are then employed to compose the conditional equivalences proved on the individual functional blocks back into total equivalence on the whole circuit.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.