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:
Jun. 30, 2015
Filed:
Mar. 29, 2011
Dhiraj Goswami, Wilsonville, OR (US);
Soe Myint, Santa Clara, CA (US);
Ngai Ngai William Hung, San Jose, CA (US);
Rajarshi Mukherjee, San Jose, CA (US);
Dhiraj Goswami, Wilsonville, OR (US);
Soe Myint, Santa Clara, CA (US);
Ngai Ngai William Hung, San Jose, CA (US);
Rajarshi Mukherjee, San Jose, CA (US);
SYNOPSYS, INC., Mountain View, CA (US);
Abstract
Methods and apparatuses are described for identifying inconsistent constraints. During operation, a system can receive a set of constraints, wherein each constraint is defined over one or more random variables from a set of random variables. If an inconsistency or conflict is detected while solving the set of constraints, the system can identify a phase in a series of phases of the constraint solver where the inconsistency was detected. The system can then try to solve different subsets of the set of constraints to identify smaller subsets of the set of constraints that contain the inconsistency. When the system tries to solve a subset of the set of constraints, the system can determine whether or not an inconsistency is detected in the identified phase while solving the subset of the set of constraints. Next, the system can report the smallest subset of inconsistent constraints that was found to a user.