| 发明名称 |
Method and apparatus for testing |
| 摘要 |
A computer-implemented method, apparatus and computer program product for testing a design, the method comprising receiving a design; receiving a description of a scenario, wherein the scenario relates to execution of the design, wherein the scenario is used for verifying the design; translating the scenario to an input for a verification engine, wherein the verification engine is selected from the group consisting of a simulation engine and a formal analysis engine; activating the engine and providing the input to the engine, whereby the engine outputting a result; and displaying the result. |
| 申请公布号 |
US9286426(B2) |
申请公布日期 |
2016.03.15 |
| 申请号 |
US201414259163 |
申请日期 |
2014.04.23 |
| 申请人 |
International Business Machines Corporation |
发明人 |
Bobok Gabor;Koyfman Shlomit;Moran Shiri;Nevo Ziv;Shurek Gil |
| 分类号 |
G06F17/50 |
主分类号 |
G06F17/50 |
| 代理机构 |
|
代理人 |
|
| 主权项 |
1. A computer-implemented method performed by a computerized device, comprising:
receiving a design; receiving a description of a scenario, wherein the scenario relates to execution of the design, wherein the scenario is used for verifying the design; selecting whether a verification engine to be used is a simulation engine or a formal analysis engine; translating the scenario to an input for the verification engine as selected; activating the verification engine as selected, and providing the input to the verification engine, whereby the verification engine outputting a result; and displaying the result. |
| 地址 |
Armonk NY US |
