发明名称 |
METHOD, SYSTEM, AND PROGRAM (METHOD AND SYSTEM OF DESIGN VERIFICATION) |
摘要 |
PROBLEM TO BE SOLVED: To provide a method and system of design verification. SOLUTION: The method and system comprises extracting resources required to run a discrete test case or set of associated test cases on a design. The method and system further includes building a simulation model based on the extracted resources and executing the simulation model using only the extracted resources, exclusive of an entire design, to test a specific function or group of interrelated functions represented by the discrete test case or set of associated test cases for design verification, and correlating the simulation results with the test plan. COPYRIGHT: (C)2007,JPO&INPIT
|
申请公布号 |
JP2007164780(A) |
申请公布日期 |
2007.06.28 |
申请号 |
JP20060317794 |
申请日期 |
2006.11.24 |
申请人 |
INTERNATL BUSINESS MACH CORP <IBM> |
发明人 |
DEVINS ROBERT J;PASCAL A NSAME;MILTON DAVID WILLS |
分类号 |
G06F17/50;G01R31/28 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|