CPC G06F 11/3692 (2013.01) [G06F 11/3684 (2013.01); G06F 11/3688 (2013.01); G06N 20/00 (2019.01)] | 20 Claims |
1. A method for optimizing a verification regression session for testing a device under test (DUT) in a corresponding verification environment, the method comprising:
obtaining data, by a processor, of previously executed runs of at least one verification regression session;
extracting from the data, by the processor, values of one or a plurality of control knobs selected from the group consisting of: selection or deselection of a specific test for inclusion in a regression, selection or deselection of specific units of the DUT for testing in a specific test and a controllable entity of the DUT or a testing environment of the DUT to be subjected to control conditions and values of one or a plurality of verification metrics that were recorded during the execution for each of the previously executed runs of said at least one verification regression session;
finding, by the processor, correlation between said one or a plurality of the control knobs and each said one or a plurality of verification metrics;
generating a set of one or a plurality of control conditions based on the found correlation; and
applying, by the processor, the generated set of one or a plurality of control conditions on the verification environment or on the DUT, or on both, to obtain a new verification regression session.
|