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 8):
The method of  claim 1 , further comprising:\n determining that the second module is a gray box where the second signal is an input to the second module and a third signal is an output of the second module, wherein the third signal is unspecified; and generating a third sequence of signal transition representations of the third signal.

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.4939007893252752
- 35 USC 102 Novelty (BERT): 0.6332782733359303
- Combined Prediction Score: 0.5078385377263408
- Mean Citation Score: 528.64962
- Max Citation Score: 578.2098
- Similarity Product: 468.7208063720942

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