Generating concurrent test-programs with collisions for multi-processor verification
Generating concurrent test-programs with collisions for multi-processor verification
复制标题
生成具有冲突的并发测试程序以进行多处理器验证
DOI：
10.1109/hldvt.2002.1224432
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
G. Shurek
中科院分区：
文献类型：
--
作者：
Allon Adir;G. Shurek
我们讨论多处理器验证感兴趣的碰撞。当不同的流程访问共享资源时，就会发生冲突。我们研究了如何在测试程序中显示此类碰撞的结果，并建议实现自动生成此类测试并预测碰撞场景结果的实现。提出的大多数想法是来自IBM（Genie和Genesys-Pro）的两个多处理器测试生成器的经验的结果，这些测试发电机也简要介绍了。
We discuss collisions that are of interest to multiprocessor verification. Collisions occur when different processes access a shared resource. We investigate how the results of such collisions can be presented in test programs and suggest implementations for automatically generating such tests and predicting the results of collision scenarios. Most of the ideas presented are the result of years of experience with two multi-processor test generators from IBM (Genie and Genesys-Pro) which are also briefly presented.