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 8):
The method of  claim 5 , wherein the iterating comprises:\n iterating over the table data structure in an outer loop to create a trace file for each row of the table data structure; and iterating over each row of the matrix data structure an inner loop to create one or more detailed trace events for each row of the matrix data structure, to be input to the graph-based coherency verification tool.

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.2584195449107496
- 35 USC 102 Novelty (BERT): 0.6024162592855877
- Combined Prediction Score: 0.2928192163482335
- Mean Citation Score: 239.59366800000004
- Max Citation Score: 513.461
- Similarity Product: 484.3589671107532

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