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:
Dec. 31, 2019
Filed:
Nov. 17, 2017
Applicant:
Synopsys, Inc., Mountain View, CA (US);
Inventors:
Jinqing Yu, Fremont, CA (US);
Manish Pandey, Saratoga, CA (US);
Ming-Ying Chung, Cupertino, CA (US);
Arunava Saha, Sunnyvale, CA (US);
Assignee:
Synopsys, Inc., Mountain View, CA (US);
Attorneys:
Primary Examiner:
Int. Cl.
CPC ...
G06F 17/50 (2006.01); G06N 99/00 (2019.01); G06N 20/00 (2019.01);
U.S. Cl.
CPC ...
G06F 17/504 (2013.01); G06N 20/00 (2019.01);
Abstract
A method or apparatus comprising a verification system using a processor to utilize a first set of verification engines to solve easy properties of an integrated circuit design, such as RTL, running a machine-learning algorithm for a hardness ranking analysis on a plurality of properties based on data from the first set of verification engines, and ranking the plurality of properties by a hardness of verification. The method or apparatus further to order the plurality of properties based on the hardness of verification.