公开(公告)号：US06684277B2

公开(公告)日：2004-01-27

申请号：US09770584

申请日：2001-01-26

申请人： Peter Dean LaFauci ,  Bryan Heath Stypmann ,  Paul David Bryan

发明人： Peter Dean LaFauci ,  Bryan Heath Stypmann ,  Paul David Bryan

IPC分类号： G06F1300

CPC分类号： G06F13/423

摘要： The present invention provides a method and computer readable medium with program instructions for automatically verifying bus transactions. The method includes: parsing a parameter code for the bus transactions, wherein the parameter code comprises a plurality of expected parameter values for the bus transactions; automatically integrating the parsed parameter code into a checking program; and automatically executing the checking program, wherein the checking program compares the plurality of expected parameter values with a plurality of actual parameter values for the bus transactions. The bus transaction verification method in accordance with the present invention automates the coding of expected parameter values for each test case into a checking program and automates the execution of the checking program, where the checking program compares the expected parameter values with the actual parameter values. By automating the bus transaction verification in this manner, the process is more efficient and reduces the chances of human error and inaccurate observation.

摘要翻译： 本发明提供一种具有用于自动验证总线事务的程序指令的方法和计算机可读介质。 该方法包括：解析总线事务的参数代码，其中参数代码包括用于总线事务的多个预期参数值; 自动将解析的参数代码集成到检查程序中; 并且自动执行所述检查程序，其中所述检查程序将所述多个预期参数值与所述总线事务的多个实际参数值进行比较。 根据本发明的总线事务验证方法将每个测试用例的期望参数值的编码自动化到检查程序中，并自动执行检查程序，其中检查程序将预期参数值与实际参数值进行比较。 通过以这种方式自动化总线事务验证，该过程更有效，并且减少人为错误和不准确的观察的机会。

公开(公告)号：US06970816B1

公开(公告)日：2005-11-29

申请号：US09638268

申请日：2000-08-14

申请人： Paul David Bryan ,  Richard Gerard Hofmann ,  Peter Dean LaFauci ,  William Robert Lee ,  Rhonda Gurganious Mitchell ,  Timothy Patrick Oke

发明人： Paul David Bryan ,  Richard Gerard Hofmann ,  Peter Dean LaFauci ,  William Robert Lee ,  Rhonda Gurganious Mitchell ,  Timothy Patrick Oke

IPC分类号： G06F17/50

CPC分类号： G06F17/5022

摘要： A method and system for efficiently generating parameterized bus transactions for verification of a design-under-test (DUT) comprises providing a configuration file for the DUT to a generator program. The configuration file defines possible parameter combinations for bus transactions executable by the DUT, and the generator program systematically enumerates all the possible combinations to produce a test case for verifying the DUT. Rules specified within the configuration file can include or exclude selected parameter combinations to tailor the test case to a specific DUT-to-bus interface.

摘要翻译： 用于有效地产生用于验证被测设计（DUT）的参数化总线事务的方法和系统包括向发生器程序提供DUT的配置文件。 配置文件定义可由DUT执行的总线事务的可能参数组合，并且生成器程序系统地枚举所有可能的组合以产生用于验证DUT的测试用例。 在配置文件中指定的规则可以包括或排除选定的参数组合，以将测试用例定制到特定的DUT到总线接口。

公开(公告)号：US06718521B1

公开(公告)日：2004-04-06

申请号：US09638528

申请日：2000-08-14

申请人： David Gary Bentlage ,  Paul David Bryan ,  Peter Dean LaFauci ,  Randall Rogers Pratt

发明人： David Gary Bentlage ,  Paul David Bryan ,  Peter Dean LaFauci ,  Randall Rogers Pratt

IPC分类号： G06F1750

CPC分类号： G06F17/5022

摘要： A method and system for easily and automatically determining the extent of test coverage for a design-under-test (DUT). Incremental test coverage information is gathered from the application of test cases to the DUT, and cumulative test coverage information is maintained. The incremental test coverage and cumulative test coverage information are fed into a correlation process, which correlates valid bus transactions automatically generated from a configuration file describing the DUT with the incremental and cumulative test coverage information. The correlation process determines which valid bus transactions have or have not been applied in testing the DUT.

摘要翻译： 一种用于轻松自动确定被测设计（DUT）测试覆盖范围的方法和系统。 增量测试覆盖信息从应用测试用例收集到DUT，并保持累积测试覆盖信息。 增量测试覆盖率和累积测试覆盖率信息被馈送到相关过程，其将从描述DUT的配置文件自动生成的有效总线事务与增量和累积测试覆盖信息相关联。 相关过程确定哪些有效总线事务已经或未被应用于测试DUT。