US 11,868,241 B1
Method and system for optimizing a verification test regression
Yael Kinderman, Givat Shmuel (IL); Yosinori Watanabe, Lafayette, CA (US); Michele Petracca, Chappaqua, NY (US); and Ido Avraham, Netanya (IL)
Assigned to Cadence Design Systems, Inc., San Jose, CA (US)
Filed by Cadence Design Systems, Inc., San Jose, CA (US)
Filed on Dec. 10, 2019, as Appl. No. 16/708,597.
Int. Cl. G06F 11/36 (2006.01); G06N 20/00 (2019.01)
CPC G06F 11/3692 (2013.01) [G06F 11/3684 (2013.01); G06F 11/3688 (2013.01); G06N 20/00 (2019.01)] 20 Claims
OG exemplary drawing
 
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.