Functional verification of power gated designs by...

Details Functional verification of power gated designs by... Functional verification of power gated designs by...

2008-07-17

2011-12-27

Dinh, Paul (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C716S030000, C716S030000

Reexamination Certificate

active

08086972

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.

REFERENCES:
patent: 2008/0127015 (2008-05-01), Chandramouli et al.

Affiliated with

Also associated with

Rating

Functional verification of power gated designs by... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Functional verification of power gated designs by..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Functional verification of power gated designs by... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4310212