[发明专利]一种验证Cache一致性协议的装置及方法有效
| 申请号： | 201710601304.7 | 申请日： | 2017-07-21 |
| 公开（公告）号： | CN107368434B | 公开（公告）日： | 2020-08-04 |
| 发明（设计）人： | 王振江;周恒钊 | 申请（专利权）人： | 苏州浪潮智能科技有限公司 |
| 主分类号： | G06F12/0815 | 分类号： | G06F12/0815 |
| 代理公司： | 济南诚智商标专利事务所有限公司 37105 | 代理人： | 王汝银 |
| 地址： | 215100 江苏省苏州市吴*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种验证Cache一致性协议的装置，所述的装置包括：形式验证平台，利用验证平台内的验证工具，使用工具的内部变量失效命令对模型初始表中的状态变量进行失效；模型初始表，用来枚举模型中的状态变量并进行初始状态赋值；模型其他表，包含协议说明书或者说明表的所有协议表，用来定义模型协议表之间跳转接口，并实现模型协议表之间的跳转验证；模型规则定义表，用来定义模型协议表的跳转规则，以及检查Cache协议模型一致性。通过对模型中的变量状态进行组合，增加验证工具的验证路径，缩短验证时间。基于装置，本发明还提供了一种验证Cache一致性协议的方法。 | ||
| 搜索关键词： | 一种 验证 cache 一致性 协议 装置 方法 | ||
【主权项】：
一种验证Cache一致性协议的装置，其特征是，所述的装置包括：形式验证平台，利用验证平台内的验证工具，使用工具的内部变量失效命令对模型初始表中的状态变量进行失效；模型初始表，用来枚举模型中的状态变量并进行初始状态赋值；模型其他表，包含协议说明书或者说明表的所有协议表，用来定义模型协议表之间跳转接口，并实现模型协议表之间的跳转验证；模型规则定义表，用来定义模型协议表的跳转规则，以及检查Cache协议模型一致性。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于苏州浪潮智能科技有限公司，未经苏州浪潮智能科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710601304.7/，转载请声明来源钻瓜专利网。
- 上一篇：一种LED照明装置
- 下一篇：一种方便安装的LED台灯
