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:
Sep. 23, 2008
Filed:
Nov. 18, 2005
Vinaya Kumar Singh, Noida, IN;
Ravi Prakash, Noida, IN;
Alok Jain, Noida, IN;
Kavita Ravi, Chelmsford, MA (US);
Vinaya Kumar Singh, Noida, IN;
Ravi Prakash, Noida, IN;
Alok Jain, Noida, IN;
Kavita Ravi, Chelmsford, MA (US);
Cadence Design Systems, Inc., San Jose, CA (US);
Abstract
Aspects of computing design invariants, by using approximate reachability analysis, include reducing the circuit model for verification and synthesis. Further included is computing invariants using approximate reachability analysis to optimize a circuit model by identifying a plurality of next states for a present state, the plurality of next states capable of being reached from the present state in one transition. The plurality of bits of the next states are compared with a plurality of bits of the present state, and each bit of the present state that is different from at least one next state is changed to variant.