Computer-implemented verification of a hardware design implementation against a natural language description of the hardware design or software code against a natural language description of a software application
US12423503B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jun 27, 2022 |
| Grant date | Sep 23, 2025 |
| Priority date | — |
| Expiry date | Mar 14, 2044 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F40/30
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer system obtains and/or assists in creation of a natural language description file corresponding to a design, where the design is a hardware design or a software design and processes the natural language description file to extract semantic expressions. One or more intermediate representation data structures is generated from selected ones of the semantic expressions. Each intermediate representation data structure includes natural language design objects, natural language design object properties, and relationships between natural language design objects and/or natural language design object properties. The computer system transforms each intermediate representation data structure into one or more corresponding design verification statements derived from the natural language description file. Those design verification statements are subsequently evaluated against one or more design implementation files corresponding to the design.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.