Automatic generation of properties to assist hardware emulation
US10073933B2 · kind B2 · utility
1Cited by
51References
21Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Aug 21, 2017 |
| Grant date | Sep 11, 2018 |
| Priority date | — |
| Expiry date | Aug 21, 2037 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/30
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Analysis of a first verification test suite automatically generates properties that may be directly used in a subsequent verification test suite. For example, an IP module may be verified by executing a software simulation test suite. The resulting data is accessed and analyzed to detect a set of properties of the software simulation test suite. A set of emulator-synthesizable properties are selected from the set of detected properties. The emulator-synthesizable properties are suitable for incorporation in a hardware emulation test suite used to test the SoC.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.