Cadence Design Systems, Inc.

Ohad Givaty

Yael Kinderman

Reshef Meir

Yoav Hollander

A method for performing a regression session when testing a device under test (DUT), may include a. obtaining a coverage model of the DUT, and a verification session input file (VSIF) relating to a plurality of tests to be run on the DUT, the VSIF including an initial number of runs associated with each of the tests of the plurality of tests; b. performing a first iteration of the regression session in which each of the tests of the plurality of tests is run the initial number of runs associated with that test; c. calculating for that iteration an effectiveness grade of each run of the tests of the plurality of tests, and assigning a weight to each of the runs of the tests of the plurality of tests corresponding to the calculated effectiveness grade of that test run; an d. Iteratively performing further iterations of the regression session in each of which each of the tests of the plurality of tests is run a number of runs corresponding to the weight assigned to that test run in a previous iteration; and calculating for that iteration a new effectiveness grade of each run of the tests of the plurality of tests, and assigning a new weight to each of the runs of the tests of the plurality of tests, wherein the new effectiveness grade and the new weight are used as the effectiveness grade and the weight, respectively, in a consecutive iteration of the iteratively performed further iterations.

Method and system for performing regression session on a device under test

Embodiments provide methods, systems, and devices involving transaction correlation tools that may record a limited number of run attributes yet are likely to be important in the debugging process. Some embodiments may include novel tabular representations of the runs. Embodiments may allow the user to specify directives for the recording of the runs and the creation of these tables. Embodiments may include comparing sets of failing and passing runs, which may be generated at random. This approach is called statistical debugging, as it employs statistical tools to find attributes of the DVE that tend to co-occur with the failure.

Transaction correlation system

Embodiments provide tools and techniques for clustering failing runs in a design verification environment to aid in determining causes of the failing runs. Embodiments may include determining multiple failing runs of the design verification environment. Multiple partitions of the multiple failing runs may be generated. Each respective partition may partition one or more subsets of the multiple failing runs into one or more non-overlapping clusters of failing runs. The multiple partitions of the subsets of multiple failing runs may be merged into a hierarchical structure that includes at least one of the clusters. One or more clusters of failing runs from the merged hierarchical structure may be selected; these may be referred to as core clusters. Core clusters may be presented to a user based on the size and distance between the clusters.

Growing community of inventors

Yahud, Israel

Ohad Givaty