Abstract: A computer system, computer readable storage medium, and computer-implemented method for retrograding an instruction stream to enhance random test generation. The method includes generating a test case for a design-under-test (DUT) comprising positioning one or more placeholder instructions in the test case. The method also includes identifying one or more benefiting instructions. The method further includes executing the test case by replacing the one or more placeholder instructions with one or more respective retrograding instructions. The one or more retrograding instructions influence the one or more benefiting instructions.

Abstract: Embodiments of the present disclosure are directed to an efficient and uniform process for generating multiple outputs for different generated test cases for an input request that share a common section in a pseudo-random software system. An enhanced disclosed method comprises processing an input request and a sequence of instructions until a state or condition of interest is reached in a first process. The condition of interest is marked as a split point in the first process. At the split point, a next process for generating multiple outputs is created to include a common section of the first process from the input request to the split point, an added form of randomization, and at least one instruction after the split point. The common section is generated only once in the first process, which can provide significantly enhanced performance.

Abstract: Embodiments of the present disclosure are directed to an efficient and uniform process for generating multiple outputs for different generated test cases for an input request that share a common section in a pseudo-random software system. An enhanced disclosed method comprises processing an input request and a sequence of instructions until a state or condition of interest is reached in a first process. The condition of interest is marked as a split point in the first process. At the split point, a next process for generating multiple outputs is created to include a common section of the first process from the input request to the split point, an added form of randomization, and at least one instruction after the split point. The common section is generated only once in the first process, which can provide significantly enhanced performance.

Abstract: Validating microprocessor instruction execution by receiving a floating-point exception selection, receiving a validation method selection, generating validation data according to the floating-point exception selection and the validation method selection by randomly generating a first tensor element value and randomly generating a second tensor element value according to the first tensor element value and the floating-point exception selection, and executing a floating-point computation according to the validation data.