[发明专利]一种同步多线程系统中独占访存的验证方法及装置

权利要求书

1.一种同步多线程系统中独占访存的验证方法，其特征在于，包括：

根据同步多线程系统中独占访存的验证需求，选择同时向参考模型和待测设计中注入独占行为的随机参数用以并行执行仿真，或将配置好所述随机参数的参考模型用例反向注入待测设计中用以执行仿真；

将参考模型和待测设计所执行的仿真结果进行对比检验，用以验证所述同步多线程系统中的独占访存。

2.根据权利要求1所述的方法，其特征在于，所述根据同步多线程系统中独占访存的验证需求，选择同时向参考模型和待测设计中注入独占行为的随机参数用以并行执行仿真，或将配置好所述随机参数的参考模型用例反向注入待测设计中用以执行仿真包括：

根据同步多线程系统中独占访存的验证需求进行初始化配置；

根据初始化配置，选择同时向参考模型和待测设计中注入独占检测器的行为参数用以并行执行仿真，或将配置好所述行为参数的参考模型用例反向注入待测设计中用以执行仿真。

3.根据权利要求2所述的方法，其特征在于，所述根据同步多线程系统中独占访存的验证需求进行初始化配置包括：

选择在线进行实时仿真的在线模式或离线进行大批量仿真的离线模式；

配置独占行为的随机参数。

4.根据权利要求3所述的方法，其特征在于，所述随机参数包括场景参数和独占行为的密度参数。

5.根据权利要求2-4任一所述的方法，其特征在于，所述根据初始化配置，选择同时向参考模型和待测设计中注入独占检测器的行为参数用以并行执行仿真，或将配置好所述行为参数的参考模型用例反向注入待测设计中用以执行仿真包括：

当初始化配置中选择在线进行实时仿真的在线模式时，同时向参考模型和待测设计中注入独占行为的随机参数用以并行执行仿真；当初始化配置中选择离线进行大批量用例仿真的离线模式时，将配置好所述随机参数的参考模型用例反向注入待测设计中用以执行仿真。

6.根据权利要求1所述的方法，其特征在于，在所述将参考模型和待测设计所执行的仿真结果进行对比检验，用以验证所述同步多线程系统中的独占访存之后，所述方法还包括：

判断是否满足验证需求，如果满足验证需求，则结束验证；如果不满足验证需求，则继续配置场景参数进行下一轮的验证仿真。

7.一种同步多线程系统中独占访存的验证装置，其特征在于，包括：

配置单元，用于根据同步多线程系统中独占访存的验证需求，选择同时向参考模型和待测设计中注入独占行为的随机参数，或将配置好所述随机参数的参考模型用例反向注入待测设计中；

执行单元，用于同时向参考模型和待测设计中注入独占行为的随机参数用以并行执行仿真，或将配置好所述随机参数的参考模型用例反向注入待测设计中用以执行仿真；

对比验证单元，用于将参考模型和待测设计所执行的仿真结果进行对比检验，用以验证所述同步多线程系统中的独占访存。

8.根据权利要求7所述的装置，其特征在于，所述配置单元包括：

模式配置模块，用于选择在线进行实时仿真的在线模式或离线进行大批量仿真的离线模式；

场景配置模块，用于配置独占行为的场景参数；

密度参数设置模块，用于设置独占行为的密度参数。

9.根据权利要求7或8所述的装置，其特征在于，所述执行单元包括：

第一执行模块，用于同时向参考模型和待测设计中注入独占行为的随机参数用以并行执行仿真；

第二执行模块，用于将配置好所述随机参数的参考模型用例反向注入待测设计中用以执行仿真。

10.根据权利要求7所述的装置，其特征在于，所述装置还包括：

判断单元，用于判断是否满足验证需求。