HIGH QUALITY LOGIC VERIFICATION STRESS TEST GENERATION USING TWO-STAGE RANDOMIZATION

A novel and useful stress test generation mechanism that is operative to divide the task of generating test case programs (files) into a first randomization stage and a second randomization stage. The first randomization stage selects the scenario and the second randomization stage generates a test case in accordance with the chosen scenario. In other words, during stage 1, a test scenario (i.e. value-categories) is randomly determined (using the weights assigned to the value-categories within each scenario-dimension). In stage 2, a test is randomly generated for the chosen scenario. Thus, for each scenario-dimension, one or more values are generated randomly for the chosen value-category. Once the values for the value-categories are generated, an output test file for use by the logic verification is generated.