Abstract: 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.

Abstract: 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.

Abstract: A method for transforming a data octet (8B) including eight bits into a ten-bit code group (10B) including ten bits, the method including deriving an intermediate result from a table having fewer than 500 entries, and performing a logical operation on the intermediate result to generate the ten-bit code group. Related apparatus and methods are also described.