PATENT CLAIM ANALYSIS

Application Number: 16403160
Application Type: Utility
Filing Date: 2019-05
Publication Date: 2019-08
Patent Classification: ["716", "104000"]

Abstract:
A design tool can implement phase algebra based design evaluation to evaluate a circuit design with a compact representation of waveforms without simulating the individual waveforms. The tool can determine that a first sequence of signal transition representations of a first signal of the first module comprises a null sequence. The first module of a register level circuit design comprises a second module, the first module and the second module arranged in a hierarchical order. The tool can determine a second sequence of signal transition representations of a second signal of the second module. Signal transition representations of the first signal are for propagation from the first module to the second module using the second signal. The tool can extract a non-null sequence for the first sequence based on the second sequence to generate an extracted first sequence.

Claim (Index 17):
The apparatus of  claim 16 , further comprising program instructions executable to:\n in response to extracting, determine whether a first mapping can be determined between the second sequence and a third sequence of signal transition representations of the second signal, wherein the third sequence is for propagation through the second module.

Metadata:
- Claim Count in Document: 17.0
- Percentile: 100.0
- Lexical Diversity: 2.63636
- Patent Class: 716.0
- Transitional Phrase Type: open
- Component Type: 1
- Foreign Priority: False
- Related Applications: ['15061601', '15061532', '14631539', '15791082', '14734912']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.4932186049869866
- 35 USC 102 Novelty (BERT): 0.6349193604096098
- Combined Prediction Score: 0.507388680529249
- Mean Citation Score: 528.64962
- Max Citation Score: 578.2098
- Similarity Product: 475.1004699758649

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

Dataset: test