发明名称 |
VERIFYING A GRAPH-BASED COHERENCY VERIFICATION TOOL |
摘要 |
Verification is provided of a functional correctness of a graph-based coherency verification tool for logic designs of arrangements of processors and processor caches, the graph-based coherency verification tool using trace files as input for verifying memory ordering rules of a given processor architecture for accesses to the caches, wherein nodes in a graph represent memory accesses and edges represent dependencies between them. The verifying includes (i) providing a specification of a test case for a self-checking tool, the test case comprising a sequence of statements in a high-level description language format, representing memory access events and system events; and (ii) generating trace files with the self-checking tool for the graph-based coherency verification tool by producing permutations of trace events, which are defined by the sequence of statements of the test case. |
申请公布号 |
US2016132417(A1) |
申请公布日期 |
2016.05.12 |
申请号 |
US201514929741 |
申请日期 |
2015.11.02 |
申请人 |
INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
GROSSER Thomas P.;KOCH Gerrit;WINKELMANN Ralf |
分类号 |
G06F11/32;G06F11/26;G06F11/22;G06F12/08;G06F11/07 |
主分类号 |
G06F11/32 |
代理机构 |
|
代理人 |
|
主权项 |
1. A computer-method comprising:
verifying a functional correctness of a graph-based coherency verification tool for logic designs of arrangements of processors and processor caches, the graph-based coherency verification tool using trace files as input for verifying memory ordering rules of a given processor architecture for accesses to the caches, wherein nodes in a graph represent memory accesses and edges represent dependencies between them, the verifying comprising:
providing a specification of a test case for a self-checking tool, the test case comprising a sequence of statements in a high-level description language format, representing memory access events and system events; andgenerating trace files with the self-checking tool for the graph-based coherency verification tool by producing permutations of trace events, which are defined by the sequence of statements of the test case. |
地址 |
Armonk NY US |