Method and apparatus for verifying logical equivalency...

Details Method and apparatus for verifying logical equivalency... Method and apparatus for verifying logical equivalency...

2006-08-01

2006-08-01

Garbowski, Leigh M. (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

Reexamination Certificate

active

07086016

ABSTRACT:
A method for verifying a logical equivalency between two logic circuits having different combinational logic circuits includes the steps of converting into a logic circuit a logic cone that has been determined for each of the two logic circuits, the logic cone including all inputs and all logic circuits which affect one output of the combinational logic circuit, storing a logical expression converted by the converting step and a logic circuit element included in the logic cone while correlating the logical expression with the logic circuit element, and specifying the logic circuit element corresponding to a specified term in the logical expression that has been converted.

REFERENCES:
patent: 5481717 (1996-01-01), Gaboury
patent: 5491639 (1996-02-01), Filkorn
patent: 6321173 (2001-11-01), Foster
patent: 6336206 (2002-01-01), Lockyear
patent: 6473884 (2002-10-01), Ganai et al.
patent: 6611947 (2003-08-01), Higgins et al.
patent: 2002/0144215 (2002-10-01), Hoskote et al.
patent: 1-288969 (1989-11-01), None
patent: 5-233749 (1993-09-01), None
patent: 9-297784 (1997-11-01), None
patent: 2000-020744 (2000-01-01), None
patent: 2001-052043 (2001-02-01), None

Affiliated with

Also associated with

Rating

Method and apparatus for verifying logical equivalency... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for verifying logical equivalency..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for verifying logical equivalency... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3712566