International Business Machines Corporation

David Gary Bentlage

Peter Dean LaFauci

Paul David Bryan

Randall Rogers Pratt

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.

Growing community of inventors

Raleigh, NC, United States of America

David Gary Bentlage