发明名称 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
代理机构 代理人
主权项
地址