Determining one or more reachable states in a circuit using...

Details Determining one or more reachable states in a circuit using... Determining one or more reachable states in a circuit using...

2007-05-08

2007-05-08

Do, Thuan (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C716S030000

Reexamination Certificate

active

10704234

ABSTRACT:
In one embodiment, a method for determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures includes, at a first one of multiple computing systems, receiving a first partition of a circuit. The first partition corresponds to a first binary decision diagram (BDD) having a first density. The method includes performing a first reachability analysis on the first partition using the first BDD until a fixed point in the first partition has been reached and, if, during the first reachability analysis, the size of the first BDD exceeds a threshold, discarding the first BDD. The method includes communicating with at least one second one of the multiple computing systems. The second one of the multiple computing systems has received a second partition of the circuit. The second one of the multiple computing systems has performed a second reachability analysis on the second BDD without discarding the second BDD.

REFERENCES:
patent: 5477474 (1995-12-01), Southgate et al.
patent: 6026222 (2000-02-01), Gupta et al.
patent: 6086626 (2000-07-01), Jain et al.
patent: 6141633 (2000-10-01), Iwashita et al.
patent: 6212669 (2001-04-01), Jain
patent: 6408262 (2002-06-01), Leerberg et al.
patent: 6415430 (2002-07-01), Ashar et al.
patent: 6457162 (2002-09-01), Stanion
patent: 6473884 (2002-10-01), Ganai et al.
patent: 6539345 (2003-03-01), Jones et al.
patent: 6728665 (2004-04-01), Gupta et al.
patent: 2005/0171747 (2005-08-01), Franco et al.

Affiliated with

Also associated with

Rating

Determining one or more reachable states in a circuit using... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Determining one or more reachable states in a circuit using..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Determining one or more reachable states in a circuit using... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3803470