Invention Grant
- Patent Title: Formal verification result prediction
-
Application No.: US13886891Application Date: 2013-05-03
-
Publication No.: US10366330B2Publication Date: 2019-07-30
- Inventor: Jinqing Yu
- Applicant: Synopsys, Inc.
- Applicant Address: US CA Mountain View
- Assignee: SYNOPSYS, INC.
- Current Assignee: SYNOPSYS, INC.
- Current Assignee Address: US CA Mountain View
- Agency: Alston & Bird LLP
- Main IPC: G06N5/02
- IPC: G06N5/02

Abstract:
A design verification problem includes a design description and a property to be verified. Feature data is identified from the design verification problem and a result is predicted for the design verification problem based on the feature data. A plurality of verification engines is then orchestrated based on the prediction. Supervised machine learning may be used for the result prediction. Feature data and verification results from a plurality of training test cases are used to train a classifier to create a prediction model. The prediction model uses the feature data of the design verification problem to make a result prediction for the design verification model.
Public/Granted literature
- US20140330758A1 FORMAL VERIFICATION RESULT PREDICTION Public/Granted day:2014-11-06
Information query