PATENT CLAIM ANALYSIS

Application Number: 15885117
Application Type: Utility
Filing Date: 2018-01
Publication Date: 2018-08
Patent Classification: ["716", "108000"]

Abstract:
This application discloses a computing system to perform one or more static checks on clock domain crossings in a circuit design to detect combinational logic configured to generate output signals having glitches that cross clock domains in a circuit design. The computing system can identify the combinational logic is configured to generate the output signal based, at least in part, on an input signal and an inversion of the input signal. The computing system can identify conditions that, when satisfied, allow the combinational logic to generate the output signal based, at least in part, on the input signal and the inversion of the input signal, and generate a glitch expression based, at least in part, on the identified conditions. The computing system can determine the combinational logic is configured to generate at least one glitch in the output signal based, at least in part, on the glitch expression.

Claim (Index 15):
The apparatus of  claim 14 , wherein identifying the combinational logic further comprises determining the combinational logic is configured to generate the output signal based, at least in part, on an input signal and an inversion of the input signal.

Metadata:
- Claim Count in Document: 50.0
- Percentile: 86.0
- Lexical Diversity: 2.85965
- Patent Class: 716.0
- Transitional Phrase Type: none
- Component Type: 0
- Foreign Priority: True
- Related Applications: ['14274956', '14608603', '14473922', '14476384', '12432017']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3715711284481856
- 35 USC 102 Novelty (BERT): 0.4746406459328757
- Combined Prediction Score: 0.3818780801966546
- Mean Citation Score: 214.185962
- Max Citation Score: 239.40851
- Similarity Product: 184.8129705315721

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