Efficient mechanism for interactive fault analysis in formal verification environment
US11010522B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 14, 2018 |
| Grant date | May 18, 2021 |
| Priority date | — |
| Expiry date | Nov 17, 2038 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2111/20
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
In one aspect, a fault injection environment and a formal property verification environment are combined in a single integrated flow that allows the user to go back and forth between the two tasks. A system that unifies formal property verification and fault injection includes user interfaces that support the unified use model. In one approach, the FPV tool is the master and its user interface is the primary interface for the user to set up, run and debug faults as well as checkers. This interface allows the user to interactively select the FPV properties and/or the faults to be used for fault analysis. The user interface may provide a view of the faults, for example by listing faults or summarizing faults by class, type, etc.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.