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. 02, 2014
Filed:
Mar. 14, 2013
Jasper Design Automation, Inc., Mountain View, CA (US);
Ziyad E. Hanna, Haifa, IL;
Per Anders M. Franzén, Göteborg, SE;
Ross M. Weber, Plymouth, MN (US);
Habeeb A. Farah, Nazareth, IL;
Rajeev K. Ranjan, Sunnyvale, CA (US);
Jasper Design Automation, Inc., Mountain View, CA (US);
Abstract
A computer-implemented method and non-transitory computer readable medium for circuit design verification. Formal verification is performed on a circuit design to prove a correctness of a property of the circuit design. The circuit design has a cone of influence representing a portion of the circuit design capable of affecting signals of the property. A proof core of the circuit design is identified, the proof core being a portion of the cone of influence that is sufficient to prove the correctness of the property. A coverage metric is generated that is indicative of a level of formal verification coverage provided by the property based on the proof core of the circuit design.