Verification using directives having local variables
US8219376B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Feb 27, 2008 |
| Grant date | Jul 10, 2012 |
| Priority date | — |
| Expiry date | Mar 28, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/3323
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computer-implemented method for verifying a design includes representing a verification directive, which pertains to the design and includes a local variable, by a finite state machine. The state machine includes multiple states, with transitions among the states, transition conditions associated with the transitions, and procedural blocks, which correspond to the transitions and define operations to be performed on the local variable when traversing the respective transitions. The finite state machine is executed by traversing the transitions in accordance with the respective transition conditions and modifying the local variable in accordance with the respective procedural blocks of the traversed transitions, so as to verify the design with respect to the verification directive.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.