Equivalence checking of scan path flush operations

Details Equivalence checking of scan path flush operations Equivalence checking of scan path flush operations

2007-04-24

2007-04-24

Chiang, Jack (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C716S030000, C716S030000, C716S030000, C714S724000, C714S726000, C714S728000

Reexamination Certificate

active

10875476

ABSTRACT:
A method, apparatus, system, and signal-bearing medium that in an embodiment apply a latch behavior to a first and second netlist, where the latch behavior exhibits transparent behavior. Flush enabling conditions are applied to the first netlist and a second netlist. For each latch in a first scan chain in the first netlist, a corresponding latch in the second netlist is found. Cones of logic are then extracted from the latches under the constraints enabling the flush operation, and the cones of logic are compared for functional equivalence. If all the cones are functionally equivalent, then the flush reset states of the netlists are functionally equivalent. If at least one of the cones is not functionally equivalent, then the flush reset states of the two netlists are not equivalent.

REFERENCES:
patent: 5684808 (1997-11-01), Valind
patent: 6289491 (2001-09-01), Dupenloup
patent: 6636995 (2003-10-01), Dean et al.
patent: 6668362 (2003-12-01), McIlwain et al.
patent: 6687882 (2004-02-01), McElvain et al.
patent: 6766501 (2004-07-01), Duggirala et al.
patent: 6886145 (2005-04-01), Davidson et al.
patent: 6954912 (2005-10-01), Srivastava et al.
patent: 2004/0268274 (2004-12-01), Khasidashvili et al.
patent: 2005/0081130 (2005-04-01), Rinderknecht et al.
patent: 2005/0097486 (2005-05-01), Tyler et al.
patent: 2005/0235186 (2005-10-01), Wang et al.

Affiliated with

Also associated with

Rating

Equivalence checking of scan path flush operations does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Equivalence checking of scan path flush operations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Equivalence checking of scan path flush operations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3764399