The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 08, 2007
Filed:
Nov. 07, 2003
Jawahar Jain, Santa Clara, CA (US);
Amit Narayan, Redwood City, CA (US);
Yoshihisa Kojima, Kawasaki, JP;
Takaya Ogawa, Urayasu, JP;
Subramanian K. Iyer, Austin, TX (US);
Debashis Sahoo, Stanford, CA (US);
Jawahar Jain, Santa Clara, CA (US);
Amit Narayan, Redwood City, CA (US);
Yoshihisa Kojima, Kawasaki, JP;
Takaya Ogawa, Urayasu, JP;
Subramanian K. Iyer, Austin, TX (US);
Debashis Sahoo, Stanford, CA (US);
Fujitsu Limited, Kawasaki, JP;
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.