PATENT CLAIM ANALYSIS

Application Number: 15863186
Application Type: Utility
Filing Date: 2018-01
Publication Date: 2018-05
Patent Classification: ["714", "042000"]

Abstract:
Verification is provided of a functional correctness of a graph-based coherency verification tool for logic designs of arrangements of processors and processor caches, the graph-based coherency verification tool using trace files as input for verifying memory ordering rules of a given processor architecture for accesses to the caches, wherein nodes in a graph represent memory accesses and edges represent dependencies between them. The verifying includes (i) providing a specification of a test case for a self-checking tool, the test case comprising a sequence of statements in a high-level description language format, representing memory access events and system events; and (ii) generating trace files with the self-checking tool for the graph-based coherency verification tool by producing permutations of trace events, which are defined by the sequence of statements of the test case.

Claim (Index 7):
The method of  claim 5 , wherein expanding the parsed high-level description file creates variations of the trace events and comprises:\n for each row of the matrix data structure, evaluating the corresponding trace event and attributes; creating permutations of the trace events; and creating the table data structure from combinations of the created permutations for each trace event, and returning the table data structure containing rows according to the created permutations.

Metadata:
- Claim Count in Document: 26.0
- Percentile: 86.0
- Lexical Diversity: 1.90667
- Patent Class: 714.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: True
- Related Applications: ['14929741', '10418500', '09949324', '15817622', '13770711']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.2577682653558092
- 35 USC 102 Novelty (BERT): 0.6043827023959983
- Combined Prediction Score: 0.2924297090598281
- Mean Citation Score: 239.59366800000004
- Max Citation Score: 513.461
- Similarity Product: 493.9507431568504

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

Dataset: test