PATENT CLAIM ANALYSIS

Application Number: 15953964
Application Type: Utility
Filing Date: 2018-04
Publication Date: 2019-10
Patent Classification: ["716", "102000"]

Abstract:
Embodiments are disclosed for solving a Boolean formula generated from an input design using an iterative loop using a computer-implemented Boolean satisfiability solver. An example method includes accessing data qualifier signals indicating one or more variables in a Boolean formula. The example method further includes marking the one or more variables in the Boolean formula as data qualifier variables based on the respective data qualifier signals. The example method further includes instructing a computer implemented Boolean satisfiability solver to solve the Boolean formula using an iterative loop, where operation of the iterative loop is prioritized based on the data qualifier variables. Corresponding apparatuses and non-transitory computer readable storage media are also provided.

Claim (Index 7):
An apparatus comprising at least one processor and at least one memory including computer program code, the at least one memory and the computer program code configured to, with the at least one processor, solve a Boolean formula generated from an input design by causing the apparatus to at least:\n receive data qualifier signals indicating one or more variables in a Boolean formula; mark the one or more variables in the Boolean formula as data qualifier variables based on the respective data qualifier signals; and instruct a computer implemented Boolean satisfiability solver to solve the Boolean formula using an iterative loop, wherein operation of the iterative loop is prioritized based on the data qualifier variables.

Metadata:
- Claim Count in Document: 19.0
- Percentile: 91.0
- Lexical Diversity: 1.90323
- Patent Class: 716.0
- Transitional Phrase Type: open
- Component Type: 1
- Foreign Priority: False
- Related Applications: ['12824081', '11040409', '12970851', '13018643', '15199854']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.298415256224418
- 35 USC 102 Novelty (BERT): 0.4600425612680813
- Combined Prediction Score: 0.3145779867287844
- Mean Citation Score: 202.187188
- Max Citation Score: 205.96991
- Similarity Product: 172.88220361494842

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

Dataset: test