一种同步多线程系统中独占访存的验证方法及装置

摘要

本发明提供一种同步多线程系统中独占访存的验证方法及装置，所述方法包括：根据同步多线程系统中独占访存的验证需求，选择同时向参考模型和待测设计中注入独占行为的随机参数用以并行执行仿真，或将配置好所述随机参数的参考模型用例反向注入待测设计中用以执行仿真；将参考模型和待测设计所执行的仿真结果进行对比检验，用以验证所述同步多线程系统中的独占访存。本发明能够通过根据同步多线程系统中独占访存的验证需求，选择不同的方式向待测设计中注入独占行为的随机参数，用以达到优化所述独占访存的验证方式，不仅能够保证验证方法的随机性，还进一步兼顾针对性。