PATENT CLAIM ANALYSIS

Application Number: 15905911
Application Type: Utility
Filing Date: 2018-02
Publication Date: 2019-08
Patent Classification: ["717", "135000"]

Abstract:
An apparatus, a computer program product and a method for hybrid genetic concolic co-verification of hardware and software. The method comprises repeatedly obtaining a test input for a system comprising a software and a hardware; performing a symbolic co-simulation of the system executing the test input to generate a symbolic co-simulation constraint and utilizing the symbolic co-simulation constraint to generate a new test input. The symbolic co-simulation comprises iteratively performing concolic execution of the software and symbolic simulation of the hardware. The concolic execution is guided using the test input and monitors software symbols. Iteratively performing the concolic execution and the symbolic simulation comprises collecting both software symbolic constraints over the software symbols and hardware symbolic constraints over at least a portion of the software symbols to generate the symbolic co-simulation constraint that comprises the software symbolic constraints and the hardware symbolic constraints.

Claim (Index 1):
A method comprising:\n obtaining a test input for a system, wherein the system comprises a software-under-test and a hardware-under-test; performing a symbolic co-simulation of the system executing the test input, wherein said symbolic co-simulation comprises:\n iteratively performing concolic execution of the software-under-test and symbolic simulation of the hardware-under-test; \n wherein the concolic execution is guided using the test input, wherein the concolic execution monitors software symbols; \n wherein said iteratively performing comprises collecting both software symbolic constraints over the software symbols and hardware symbolic constraints over at least a portion of the software symbols; \n whereby generating a symbolic co-simulation constraint that comprises the software symbolic constraints and the hardware symbolic constraints.

Metadata:
- Claim Count in Document: 35.0
- Percentile: 88.0
- Lexical Diversity: 2.77778
- Patent Class: 717.0
- Transitional Phrase Type: open
- Component Type: 1
- Foreign Priority: False
- Related Applications: ['12249646', '15905853', '12722404', '14697800', '13087304']

Analysis Scores:
- 35 USC 101 Eligibility (BERT): 0.3443707422740836
- 35 USC 102 Novelty (BERT): 0.5164539128272999
- Combined Prediction Score: 0.3615790593294052
- Mean Citation Score: 224.224336
- Max Citation Score: 250.42937
- Similarity Product: 182.546464960953

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

Dataset: test