发明名称 |
Method, system and computer program product for improving efficiency in generating high-level coverage data for a circuit-testing scheme |
摘要 |
A method, system and computer program product for generating a coverage model to describe a testing scheme for a simulated system are described. In a preferred embodiment, a simulated system is tested with a testing simulation program. A simple event database is generated with the testing simulation program. Results of a checker analysis from the testing with the testing simulation program are obtained, and coverage data is created from a coverage model configuration file, the simple event database and the results of the checker analysis.
|
申请公布号 |
US7454680(B2) |
申请公布日期 |
2008.11.18 |
申请号 |
US20040903301 |
申请日期 |
2004.07.30 |
申请人 |
INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
FARAGO STEVEN ROBERT;BAUMGARTNER JASON RAYMOND;DETJENS CLAUDE KARL;DEVADASON ANITA |
分类号 |
G01R31/28;G06F17/50 |
主分类号 |
G01R31/28 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|