Target design model behavior explorer
US6691078B1 · kind B1 · utility
14Cited by
14References
25Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jul 29, 1999 |
| Grant date | Feb 10, 2004 |
| Priority date | — |
| Expiry date | Jul 29, 2019 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/3323
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for exploring the behavior of a design model, the method including the steps of providing a design model represented as a Finite State Machine (FSM). The method further includes the step of providing a path specification of interest. The method further includes the step of exploring the behavior of the design in order to find and present a scenario in the design that meets the path specification.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.