Apparatus and method for generating test cases for processor verification, and verification device
US9916414B2 · kind B2 · utility
12Cited by
1References
16Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Oct 22, 2015 |
| Grant date | Mar 13, 2018 |
| Priority date | — |
| Expiry date | Feb 18, 2036 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/20
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An apparatus for generating a test case includes a constrained description generator configured to define a plurality of constrained verification spaces in a total verification space, and generate a constrained description for each of the plurality of constrained verification spaces; and a test case generator configured to generate a test case using the constrained description.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.