System, method and computer program product for...

Details System, method and computer program product for... System, method and computer program product for...

2006-10-04

2009-10-20

Whitmore, Stacy A (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000

Reexamination Certificate

active

07607115

ABSTRACT:
A system, method and computer program product are provided for verifying sequential equivalence. In use, input is fed to a first system and a second system in a timing-independent manner to generate output. To this end, sequential equivalence of the first system and the second system may be verified, based on the output.

REFERENCES:
patent: 7031900 (2006-04-01), Vakada et al.
patent: 7076753 (2006-07-01), Cerny et al.
patent: 7100060 (2006-08-01), Cai et al.
patent: 7373618 (2008-05-01), Khoo et al.
patent: 7389479 (2008-06-01), Koelbl et al.
patent: 2002/0144218 (2002-10-01), Levin et al.
patent: 2007/0136701 (2007-06-01), Baumgartner et al.
patent: 2007/0220461 (2007-09-01), Baumgartner et al.
patent: 2008/0072195 (2008-03-01), Mukaiyama
patent: 2008/0178132 (2008-07-01), Baumgarter et al.
U.S. Appl. No. 11/129,238, filed May 12, 2005.

Affiliated with

Also associated with

Rating

System, method and computer program product for... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System, method and computer program product for..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System, method and computer program product for... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4106578