1. A method of optimizing test code generation, comprising 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 said assertions and (ii) a plurality of second test vectors applicable to said testbench; (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 on said testbench using a subset of said first test vectors and said second test vectors, said subset comprising single instances of said redundant test vector sets.