PATENT CLAIM ANALYSIS

Application Number: 16430415
Application Type: Utility
Filing Date: 2019-06
Publication Date: 2019-09
Patent Classification: ["716", "104000"]

Abstract:
System design using accurate performance models may include generating, using a processor, a performance verification testbench from a hardware description language design and an automaton and determining, using the processor, a parameter of the design by analyzing the performance verification testbench using formal verification methods. The parameter is provably accurate. A performance model of a system under design including the design may be executed. The performance model uses the parameter. A determination may be made, using the processor, whether the system under design meets a system requirement according to a comparison of a result of executing the performance model with the system requirement.

Claim (Index 26):
The method of  claim 21 , wherein\n the performance metric is updated responsive to determining that the performance metric is not proven.

Metadata:
- Claim Count in Document: 59.0
- Percentile: 100.0
- Lexical Diversity: 2.19231
- Patent Class: 716.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: False
- Related Applications: ['14970072', '12210887', '15370339', '12139483', '11468078']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3781380594119778
- 35 USC 102 Novelty (BERT): 0.5372750672011699
- Combined Prediction Score: 0.3940517601908971
- Mean Citation Score: 238.57084
- Max Citation Score: 451.75024
- Similarity Product: 282.87483500329967

Labels:
- Claim Label 101: 1
- Claim Label 102: 1
- Claim Label 103: 1
- Claim Label 112: 1
- Combined Label: 1
- Label 101 Adjusted: 1

Dataset: test