合肥金星智控科技股份有限公司
宣传

位置：中冶有色 >

有色技术频道 >

有色金属技术

矿山技术

冶金技术

材料制备及加工技术

环境保护技术

分析检测技术

> 分析检测技术

> 失效分析技术

> 验证Cache一致性协议的装置及方法

验证Cache一致性协议的装置及方法

938   编辑：管理员   来源：中冶有色技术网  
2023-03-19 09:02:32
本发明提供了一种验证Cache一致性协议的装置，所述的装置包括：形式验证平台，利用验证平台内的验证工具，使用工具的内部变量失效命令对模型初始表中的状态变量进行失效；模型初始表，用来枚举模型中的状态变量并进行初始状态赋值；模型其他表，包含协议说明书或者说明表的所有协议表，用来定义模型协议表之间跳转接口，并实现模型协议表之间的跳转验证；模型规则定义表，用来定义模型协议表的跳转规则，以及检查Cache协议模型一致性。通过对模型中的变量状态进行组合，增加验证工具的验证路径，缩短验证时间。基于装置，本发明还提供了一种验证Cache一致性协议的方法。
声明：
“验证Cache一致性协议的装置及方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究，如用于商业用途，请联系该技术所有人。
我是此专利(论文)的发明人(作者)
分享 0
         
举报 0
收藏 0
反对 0
点赞 0
标签：
失效分析
上一个：用于弱图案量化的方法及系统
下一个：用于高温环境的光纤光栅应力应变传感器

与 “验证Cache一致性协议的装置及方法” 相关技术

▪ 提升矿山生态修复区固碳增汇能力的系统
▪ 矿山开采碎石设备
▪ 矿山机械设备安装的吊装机构
▪ 危废铝灰处理工艺
▪ 辊底式淬火炉淬火水痕控制方法
▪ 铝合金板带材及其制备方法
▪ 铝液在线除杂除气装置
▪ 2025首期Nature：硅基半导体新技术！
▪ 南京大学张晔课题组Adv.Mater.：新型凝胶材料：金属凝胶
▪ 污水处理磁絮凝沉淀技术

相关失效分析设备推荐

在线式臭氧气体检测报警仪
箱式/不锈钢采泥器
IRS-7100红外测流仪
托普 TRS-II 土壤水势温度测定仪
数码显示型点型可燃气体探测器 多气体检测仪
全国热门有色金属技术推荐
江苏矿山技术 徐州矿山技术 江苏选矿技术 江苏通用技术 徐州通用技术 北京矿山技术 北京采矿技术 北京通用技术 福建矿山技术 福建通用技术 江苏冶金技术 江苏火法冶金技术 北京冶金技术 北京火法冶金技术 北京湿法冶金技术 福建冶金技术 江苏材料制备及加工技术 常州材料制备及加工技术 江苏新能源材料技术 江苏加工技术 北京材料制备及加工技术 福建材料制备及加工技术 江苏环境保护技术 南京环境保护技术 苏州环境保护技术 南通环境保护技术 江苏废水处理技术 江苏固/危废处置技术 北京环境保护技术 北京废水处理技术 第十七届东亚资源再生技术国际会议 中冶有色技术平台 有色金属技术网 中冶有色技术网
展开更多 +

 

中冶有色技术平台微信公众号
了解更多信息请您扫码关注官方微信
中冶有色技术平台微信公众号中冶有色技术平台

最新更新技术

▪提升矿山生态修复区固碳增汇能力的系统
▪矿山开采碎石设备
▪矿山机械设备安装的吊装机构
▪危废铝灰处理工艺
▪辊底式淬火炉淬火水痕控制方法
▪铝合金板带材及其制备方法
▪铝液在线除杂除气装置
▪2025首期Nature：硅基半导体新技术！
▪南京大学张晔课题组Adv.Mater.：新型凝胶材料：金属凝胶
▪污水处理磁絮凝沉淀技术

报名参会
更多+

第二届中国微细粒矿物选矿技术大会
第二届中国微细粒矿物选矿技术大会
2025年03月25日 ~ 27日
2024新能源矿产资源科技创新发展论坛
2024新能源矿产资源科技创新发展论坛
2025年04月27日 ~ 29日

报告下载

1 矿产品能力验证计划中样品的选取
下载:136
2 取、制样安全浅析
下载:125
3 取、制样现状及未来规划/需求
下载:100
4 自动化样品制备助力准确高效的矿
下载:93
5 浅谈质量检验管理风险防控的重点
下载:92
6 样品变质引起采制样和结算问题
下载:90
7 矿产品人工取样方案的制定及案例
下载:87
8 用于X荧光分析的样品前处理及其
下载:86
9 不均匀样品给第三方检测机构和贸
下载:85
10 制样室装修设计技巧
下载:84
第二届中国微细粒矿物选矿技术大会
推广

热门技术
更多+

1防爆阀保护膜
2压力平衡机构
3水电站的尾水预埋件
4化工矿产有色金属的检测机构
5矿石分类与实时定量分析的光谱检测新方法
6矿石中有色金属成分和含量的检测装置
7有色金属现货状态评估系统及方法
8有色金属废料中铁磁性杂质检测设备及检测工艺
9高温熔体缓冷装置及渣包测温方法
10便携式矿山测量激光仪
衡水宏运压滤机有限公司
宣传
环磨科技控股（集团）有限公司
宣传

发布

在线客服

公众号

电话

顶部
咨询电话：
010-88793500-807
专利人/作者信息登记