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:
Jan. 31, 2006
Filed:
Feb. 20, 2003
Jason Raymond Baumgartner, Austin, TX (US);
Hari Mony, Austin, TX (US);
Viresh Paruthi, Austin, TX (US);
Mark Allen Williams, Plesant Valley, NY (US);
Jason Raymond Baumgartner, Austin, TX (US);
Hari Mony, Austin, TX (US);
Viresh Paruthi, Austin, TX (US);
Mark Allen Williams, Plesant Valley, NY (US);
International Business Machines Corporatioin, Armonk, NY (US);
Abstract
The disclosed design verification system includes a verification engine to model the operation of an integrated circuit and to assess the model's adherence to a property during N time steps of its operation. The value of N is recorded and propagated. The propagated value of N is used to reduce resources expended during subsequent analysis of the integrated circuit by ignoring the model's adherence to the property during the early stages of subsequent analysis (during time steps less than N). The system may include a diameter estimator that identifies a value of N beyond which subsequent modeling of the integrated circuit produces no new states. Property checking is ignored during states having a time step value greater than the estimated diameter.