Method and apparatus for generating minimal node data and dynamic assertions for a simulation
US7236917B1 · kind B1 · utility
5Cited by
6References
26Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Oct 31, 2003 |
| Grant date | Jun 26, 2007 |
| Priority date | — |
| Expiry date | Jul 25, 2025 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/33
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system for tracing a simulation design involves an encoded assertion asserting a value of a node of the simulation design at a point in a simulation, a fanin cone detection facility configured to obtain a fanin cone for the encoded assertion, a waveform trace facility configured to obtain waveform data including a history of signal values for the node, and a simulation toolkit configured to obtain node data using the fanin cone and the waveform data.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.