Incremental speculative merging

Details Incremental speculative merging Incremental speculative merging

2011-04-26

2011-04-26

Chiang, Jack (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Integrated circuit design processing

Reexamination Certificate

active

07934180

ABSTRACT:
An incremental speculative merge structure which enables the elimination of invalid merge candidates without requiring the discarding of the speculative merge structure and all verification results obtained upon that structure. Targets are provided for validating the equivalence of gates g1iand g2i, and the fanout references of g1iand g2iare provided to a controllable multiplexer set to output g1i. Upon determining nonequivalence of g2i, of failing to proved equivalence, the multiplexer is switched to output the g1ifanout reference, thus undoing the incremental speculative merge.

REFERENCES:
patent: 6086626 (2000-07-01), Jain et al.
patent: 6205520 (2001-03-01), Palanca et al.
patent: 7120883 (2006-10-01), Van Antwerpen et al.
patent: 7181601 (2007-02-01), Rudd et al.
patent: 2002/0010899 (2002-01-01), Wallace
patent: 2005/0125645 (2005-06-01), Rudd et al.
patent: 2005/0289210 (2005-12-01), Langsdorf
patent: 2006/0190873 (2006-08-01), Baumgartner et al.
patent: 2006/0277508 (2006-12-01), Baumgartner et al.
patent: 2009/0083488 (2009-03-01), Madriles Gimeno et al.
patent: 2009/0100385 (2009-04-01), Baumgartner et al.
patent: 0413831 (1999-06-01), None
patent: 0527678 (1993-10-01), None

Affiliated with

Also associated with

Rating

Incremental speculative merging does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Incremental speculative merging, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Incremental speculative merging will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2663255