公开(公告)号：US07627843B2

公开(公告)日：2009-12-01

申请号：US11087466

申请日：2005-03-23

申请人： Igor Dozorets ,  Roy Emek ,  Sanjay Gupta ,  Itai Jaeger ,  Lawrence Allyn McConville ,  Tzach Schechner ,  Todd Swanson

发明人： Igor Dozorets ,  Roy Emek ,  Sanjay Gupta ,  Itai Jaeger ,  Lawrence Allyn McConville ,  Tzach Schechner ,  Todd Swanson

IPC分类号： G06F9/00

CPC分类号： G06F17/5022 ,  G01R31/318371

摘要： 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.

摘要翻译： 测试发生器的输入是多个测试模板，每个测试模板通常旨在覆盖特定的验证任务。 测试模板可以直接生成不同的事务，这是不合格设计的原子功能构建块。 定向到场景的不同硬件功能的测试模板是动态交错的。 以这种方式，在复杂语句中将多个事务合并在一起，以实现复杂的测试场景。 这些事务被提交给测试发生器，该测试发生器生成测试用例，其中组合运行该场景的不同硬件功能。 测试用例之间的变化是通过在生成过程中做出的大量随机决策来实现的。

公开(公告)号：US20060218513A1

公开(公告)日：2006-09-28

申请号：US11087466

申请日：2005-03-23

申请人： Igor Dozorets ,  Roy Emek ,  Sanjay Gupta ,  Itai Jaeger ,  Lawrence McConville ,  Tzach Schechner ,  Todd Swanson

发明人： Igor Dozorets ,  Roy Emek ,  Sanjay Gupta ,  Itai Jaeger ,  Lawrence McConville ,  Tzach Schechner ,  Todd Swanson

IPC分类号： G06F17/50 ,  G06F9/45

CPC分类号： G06F17/5022 ,  G01R31/318371

摘要： 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.