Design Verification Files From Natural Language Specifications
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Comprehensive design verification and security of IP cores and software implementations are challenging due to the difficulty in examining and verifying implementations, which is a time-consuming and expensive manual process with high potential for errors, and existing methods like proof-carrying hardware and proof-based logic checking require complex logical descriptions that are not easily understood.
Innovation Solution
A computer system processes natural language descriptions to generate verification statements, extracts semantic expressions, and evaluates design implementations against these statements to determine satisfaction, addressing the technical challenges of design verification and security without significant cost or delay.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If manual verification methods are used to verify design implementations, then verification thoroughness can be maintained, but the process becomes time-consuming and expensive
Solution Approach 1:
The patent replaces manual verification processes with automated electronic verification systems. The computer system automatically processes design implementations, compares them against specifications, and generates verification results without human intervention, thereby reducing verification time while maintaining thoroughness through systematic automated checking.
Solution Approach 2:
The patent introduces an intermediary computer system that acts as a bridge between design implementations and verification criteria. This intermediary automatically processes designs through multiple verification stages, extracting features, comparing against specifications, and generating reports, thus eliminating the need for time-consuming manual verification while preserving comprehensive checking.
2Measurement precision
If complex proof-based verification methods are used, then verification accuracy improves, but the complexity of the verification process increases
Solution Approach 1:
The patent segments the verification process into distinct modular stages: design parsing, feature extraction, specification loading, criterion generation, and verification execution. Each stage handles a specific aspect of verification independently, reducing overall process complexity while maintaining accuracy through systematic multi-stage processing.
Solution Approach 2:
The patent implements dynamic verification where the system adapts its verification approach based on the specific design characteristics detected. The computer system dynamically adjusts verification depth and methods according to the complexity and type of design being verified, optimizing accuracy while managing process complexity through adaptive processing.
3Reliability
If comprehensive design verification is performed, then design security and reliability improve, but cost and time requirements increase significantly
Solution Approach 1:
The patent implements self-service verification where the computer system autonomously performs comprehensive verification without requiring expensive external expert intervention. The automated system handles design parsing, feature extraction, specification matching, and verification execution independently, reducing verification costs while maintaining comprehensive security checking.
Solution Approach 2:
The patent creates and uses digital representations (copies) of design specifications and implementations for verification purposes. The computer system loads specifications into memory, creates intermediate representations of designs, and performs verification on these digital copies, eliminating the need for physical inspection and reducing verification costs while maintaining comprehensive checking.
Data Source
AI summary
A computer system obtains and/or assists in creation of a design implementation file corresponding to a design, where the design is a hardware design or a software design and processes the design implementation file to determine design implementation objects and properties included in the one or more design implementation files. One or more intermediate representation data structures is generated, where each intermediate representation data structure includes design implementation objects, design object properties, and relationships between design implementation objects and/or design object properties. The computer system transforms each intermediate representation data structure into one or more corresponding design verification statements derived from the one or more design implementation files. Those design verification statements are subsequently evaluated against one or more design implementation files corresponding to the design.