US 7,627,843 B2Granted

Dynamically interleaving randomly generated test-cases for functional verification

AssigneeInternational Business Machines Corporation

InventorsIgor Dozorets, Roy Emek, Sanjay Gupta, Itai Jaeger, Lawrence Allyn McConville, Tzach Schechner, Todd Swanson

Life of this patent

Estimating the term…

Loading patent…

Abstract

The input for a test generator is a plurality of test templates, each of which typically aims at covering a specific verification task. Test templates direct the production of distinct transactions, which are the atomic functional building blocks of the design-under-verification. Test templates directed to different hardware functions of the scenario are dynamically interleaved. In this way several transactions are combined together in complex statements in order to achieve a complex test scenario. The transactions are submitted to the test generator, which generates test cases, in which the different hardware functions of the scenario are exercised in combinations. Variation among the test cases is achieved through a large number of random decisions made during the generation process.

Claims13

Dependent claims

A method for functional verification of a design comprising the steps of:

providing a processor and a memory accessible to the processor in which computer program instructions are stored, the instructions comprising distinct software modules including a test generator engine, the processor operative under control of the instructions for:
defining respective first and second templates directed to first and second sets of functions of the design;
operating the test generator engine to prepare first and second test cases from the first and second templates, respectively;
using the first test case, operating an execution engine a first time to verify the first set of functions in the design;
using the second test case, operating the execution engine a second time to verify the second set of functions in the design;
after performing the steps of operating the execution engine a first time and a second time, interleaving instances of the first and second templates in a nonpredetermined order, using a template arbitrator;
wherein said non-predetermined order a number of occurrences of the first templates between occurrences of the second templates does not exceed a predetermined value;
processing the interleaved first and second templates in the test generator engine to prepare a combined test case, wherein invocations of the first set of functions are correspondingly interleaved with invocations of the second set of functions;
and
using the combined test case, operating the execution engine a third time to verify the first and second sets of functions in combination.

7 more elements

A method for functional verification of a design comprising the steps of:

providing a processor and a memory accessible to the processor in which computer program instructions and data objects are stored, the data objects comprising a knowledge base holding a model of the design, the instructions comprising distinct software modules including a test generator engine, and a template arbitrator, the processor accessing the knowledge base under control of the instructions and operative for:
defining respective first and second templates directed to first and second sets of functions of the design;
operating the test generator engine to prepare first and second test cases from the first and second templates, respectively;
using the first test case, operating an execution engine a first time to verify the first set of functions in the design;
using the second test case, operating the execution engine a second time to verify the second set of functions in the design;
after performing the steps of operating the execution engine a first time and a second time, interleaving instances of the first and second templates in a nonpredetermined order, using the template arbitrator;
preparing a new version of the design;
processing the interleaved first and second templates in the test generator engine to prepare a combined test case for the new version of the design, wherein invocations of the first set of functions are correspondingly interleaved with invocations of the second set of functions;
and
using the combined test case , operating the execution engine a third time to verify the first and second sets of functions in combination in the new version of the design.

7 more elements

Dependencies are inferred from the claim text.