View source for 18394854. SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS simplified abstract (Intel Corporation)

=SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS=


==Organization Name==

[[:Category:Intel Corporation|Intel Corporation]]


[[Category:Intel Corporation]]

==Inventor(s)==

[[:Category:Disha Puri of Bangalore (IN)|Disha Puri of Bangalore (IN)]][[Category:Disha Puri of Bangalore (IN)]]

[[:Category:Sparsa Roychowdhury of West Bengal (IN)|Sparsa Roychowdhury of West Bengal (IN)]][[Category:Sparsa Roychowdhury of West Bengal (IN)]]

[[:Category:Geethabai Biradar of Karnataka (IN)|Geethabai Biradar of Karnataka (IN)]][[Category:Geethabai Biradar of Karnataka (IN)]]

[[:Category:Theo Drane of El Dorado Hills CA (US)|Theo Drane of El Dorado Hills CA (US)]][[Category:Theo Drane of El Dorado Hills CA (US)]]

[[:Category:Achutha Kiran Kumar M V of Bangalore (IN)|Achutha Kiran Kumar M V of Bangalore (IN)]][[Category:Achutha Kiran Kumar M V of Bangalore (IN)]]

==SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS - A simplified explanation of the abstract==


This abstract first appeared for US patent application 18394854 titled 'SEMI-AUTOMATIC TOOL TO CREATE FORMAL VERIFICATION MODELS

==Simplified Explanation==

The techniques described in this patent application focus on automatically creating a software model for formal verification of semiconductor designs, enabling verification engineers to identify and fix bugs in both software and RTL designs efficiently.

* Simplified Explanation:
Techniques for creating a software model for formal verification of semiconductor designs are disclosed in this patent application, allowing verification engineers to detect and correct bugs in software and RTL designs effectively.

* Potential Applications:
- Formal verification of semiconductor designs
- Bug detection and correction in software and RTL designs

* Problems Solved:
- Efficient bug detection and correction in software and RTL designs
- Expansion of formal verification scope to cover both software and semiconductor designs

* Benefits:
- Saves significant design time
- Reduces time to market for new products

* Potential Commercial Applications:
Optimizing Formal Verification Techniques for Semiconductor Designs

* Possible Prior Art:
One possible prior art could be the use of formal verification tools for software or semiconductor designs, but the specific techniques for automatically creating a software model as described in this patent application may be novel.

Questions:

1. How do these techniques improve the efficiency of bug detection and correction in software and RTL designs?
2. What specific benefits can be expected from implementing the software model created using the techniques described in this patent application?


==Original Abstract Submitted==

Described herein are techniques to automatically create a software model which covers the core functionality of a semiconductor design to be formally verified and can be easily consumed by a formal verification tool for software or semiconductor designs. These techniques enable verification engineers to expand the scope of formal verification to fix both software and RTL bugs, saving significant design time and reducing the time to market of for new products.



[[Category:G06F30/3323]]
[[Category:G06F30/31]]