Circuit comparison by information loss matching

Details Circuit comparison by information loss matching Circuit comparison by information loss matching

2007-05-22

2007-05-22

Whitmore, Stacy A (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

Reexamination Certificate

active

10822166

ABSTRACT:
The present invention discloses a method and system for computer-aided circuit design for checking the equivalence of data flow graphs by splitting data flow graphs representing finite precision arithmetic circuits into lossless subgraphs representing infinite-precision arithmetic circuits, and edges with information loss. The set of lossless subgraphs generated are leveled, and checked for equivalence as expressions. The edges with information loss are compared by establishing the equivalence of their bit width. The present invention declares data flow graphs as equal, if the respective lossless subgraphs and the bit-width at the corresponding edges with information loss are equal.

REFERENCES:
patent: 6163876 (2000-12-01), Ashar et al.
patent: 6192504 (2001-02-01), Pfluger et al.
patent: 6363520 (2002-03-01), Boubezari et al.
patent: 6415420 (2002-07-01), Cheng et al.
patent: 6625797 (2003-09-01), Edwards et al.
patent: 6701501 (2004-03-01), Waters et al.
patent: 6745160 (2004-06-01), Ashar et al.
patent: 6772399 (2004-08-01), Saluja et al.
patent: 6807651 (2004-10-01), Saluja et al.
patent: 6832357 (2004-12-01), Saluja et al.
patent: 6877150 (2005-04-01), Miller et al.
patent: 2005/0257200 (2005-11-01), Taylor

Affiliated with

Also associated with

Rating

Circuit comparison by information loss matching does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Circuit comparison by information loss matching, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Circuit comparison by information loss matching will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3781162