[发明专利]一种同步多线程系统中独占访存的验证方法及装置有效
| 申请号： | 201710930287.1 | 申请日： | 2017-10-09 |
| 公开（公告）号： | CN109634834B | 公开（公告）日： | 2021-10-26 |
| 发明（设计）人： | 张炜 | 申请（专利权）人： | 展讯通信（上海）有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京兰亭信通知识产权代理有限公司 11667 | 代理人： | 赵永刚 |
| 地址： | 201203 上海市浦东新区浦东*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种同步多线程系统中独占访存的验证方法及装置，所述方法包括：根据同步多线程系统中独占访存的验证需求，选择同时向参考模型和待测设计中注入独占行为的随机参数用以并行执行仿真，或将配置好所述随机参数的参考模型用例反向注入待测设计中用以执行仿真；将参考模型和待测设计所执行的仿真结果进行对比检验，用以验证所述同步多线程系统中的独占访存。本发明能够通过根据同步多线程系统中独占访存的验证需求，选择不同的方式向待测设计中注入独占行为的随机参数，用以达到优化所述独占访存的验证方式，不仅能够保证验证方法的随机性，还进一步兼顾针对性。 | ||
| 搜索关键词： | 一种 同步 多线程 系统 独占 验证 方法 装置 | ||
【主权项】：
1.一种同步多线程系统中独占访存的验证方法，其特征在于，包括：根据同步多线程系统中独占访存的验证需求，选择同时向参考模型和待测设计中注入独占行为的随机参数用以并行执行仿真，或将配置好所述随机参数的参考模型用例反向注入待测设计中用以执行仿真；将参考模型和待测设计所执行的仿真结果进行对比检验，用以验证所述同步多线程系统中的独占访存。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于展讯通信（上海）有限公司，未经展讯通信（上海）有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710930287.1/，转载请声明来源钻瓜专利网。
- 上一篇：一种软件缺陷预测方法和装置
- 下一篇：内存泄漏分析方法及相关装置
