发明名称 |
VERIFICATION OF SPECULATIVE EXECUTION |
摘要 |
A Design-Under-Test (DUT) may be designed to perform speculative execution of a branch path prior to determination whether the branch path is to be performed. Verification of the operation of DUT in respect to the speculative execution is disclosed. A template may be used to generate a plurality of tests. In addition to standard randomness of the tests to various parameters in accordance with the template, the tests may also differ in their respective speculative execution paths. The tests are partitioned by a generator into portions to be placed in speculative paths and portions to be placed in non-speculative paths. The generator may provide for a variance in portions. The generator may provide for nested speculative paths. |
申请公布号 |
US2012131386(A1) |
申请公布日期 |
2012.05.24 |
申请号 |
US20100951049 |
申请日期 |
2010.11.21 |
申请人 |
FOURNIER LURENT;KOYFMAN ANATOLY;RIMON MICHAL;INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
FOURNIER LURENT;KOYFMAN ANATOLY;RIMON MICHAL |
分类号 |
G06F11/263 |
主分类号 |
G06F11/263 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|