Patent Document ID: 7844929
Application ID: 12117381
Patent Status: 1

Claim One:
1. A method of optimizing test code generation, comprising the steps of: (A) reading from a database to an apparatus (i) a plurality of assertions of a design under test, (ii) a model of said design under test and (iii) a target test coverage of said design under test; (B) generating in parallel (i) a plurality of first test vectors to test said assertions and (ii) a plurality of second test vectors to test said model; (C) identifying one or more redundant test vector sets between said first test vectors and said second test vectors; and (D) generating said test code to test said design under test, wherein (i) said test code comprises a subset of a sum of said first test vectors and said second test vectors and (ii) said subset excludes duplicate instances of said redundant test vector sets.