PATENT CLAIM ANALYSIS

Application Number: 16047976
Application Type: Utility
Filing Date: 2018-07
Publication Date: 2019-01
Patent Classification: ["716", "102000"]

Abstract:
Formal verification techniques are used to extract valid clock modes from a hardware description of the clock network. In one aspect, the clock network includes primary clocks and configuration signals as inputs, and also includes derived clocks within the clock network. The derived clocks are configurable for different clock modes according to the values of the configuration signals. A parametric liveness property checking is applied to the derived clocks, where the configuration signals are parameters for the parametric liveness property checking. The parametric liveness property checking infers which values of the configuration signals result in valid clock modes for the derived clocks.

Claim (Index 19):
A system for extracting valid clock modes for a clock network from a hardware description of a digital circuit containing the clock network, the system comprising:\n a first EDA tool that:\n accesses a hardware description of a digital circuit that includes the clock network; and \n identifies the clock network within the digital circuit; and \n a second EDA tool that:\n receives the identification of the clock network from the first EDA tool; \n accesses the hardware description of the clock network, wherein the clock network includes primary clocks and configuration signals as inputs, the clock network includes derived clocks within the clock network, and the derived clocks are configurable for different clock modes according to the values of the configuration signals; and \n applies a parametric liveness property checking to the derived clocks where the configuration signals are parameters for the parametric liveness property checking, the parametric liveness property checking inferring which values of the configuration signals result in valid clock modes for the derived clocks.

Metadata:
- Claim Count in Document: 14.0
- Percentile: 95.0
- Lexical Diversity: 2.11538
- Patent Class: 716.0
- Transitional Phrase Type: open
- Component Type: 1
- Foreign Priority: True
- Related Applications: ['14568613', '11151043', '12343415', '13324880', '12218107']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3143813685829643
- 35 USC 102 Novelty (BERT): 0.4411482570872137
- Combined Prediction Score: 0.3270580574333893
- Mean Citation Score: 138.923614
- Max Citation Score: 153.52829
- Similarity Product: 122.5825207624948

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

Dataset: test