Optimizing test code generation for verification environment
US7844929B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | May 8, 2008 |
| Grant date | Nov 30, 2010 |
| Priority date | — |
| Expiry date | Nov 19, 2028 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG01R31/318314
- WIPO fieldMeasurement
- WIPO sectorInstruments
Abstract
A method of optimizing test code generation is disclosed. The method generally includes the steps of (A) reading from a database (i) a plurality of assertions, (ii) a testbench and (iii) a target code coverage all of a design under test, (B) generating together (i) a plurality of first test vectors to test the assertions and (ii) a plurality of second test vectors applicable to the testbench, (C) identifying one or more redundant test vector sets between the first test vectors and the second test vectors and (D) generating the test code to test the design under test on the testbench using a subset of the first test vectors and the second test vectors, the subset comprising single instances of the redundant test vector sets.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.