[发明专利]设备规范与设备行为的一致性检测系统无效
| 申请号： | 201110391203.4 | 申请日： | 2011-11-30 |
| 公开（公告）号： | CN102495766A | 公开（公告）日： | 2012-06-13 |
| 发明（设计）人： | 胡事民;马超;汤茂杰 | 申请（专利权）人： | 清华大学 |
| 主分类号： | G06F11/00 | 分类号： | G06F11/00 |
| 代理公司： | 北京路浩知识产权代理有限公司 11002 | 代理人： | 王莹 |
| 地址： | 100084 北京市海*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种设备规范与设备行为的一致性检测系统，包括：设备规范转化模块，用于将Termite语言描述的设备规范转化为模型检测工具能够识别的UCLID语言描述的设备规范；设备行为转化模块，用于将Verilog语言描述的硬件设备行为转化为UCLID语言描述的硬件设备行为；一致性检测模块，用于将所述UCLID语言描述的设备规范和硬件设备行为输入模型检测工具得出检测结果。本发明通过将设备规范语言和设备行为语言均转化为模型检测工具能够识别的语言，并比较设备执行同一状态情况下，设备规范语言和设备行为语言转化为模型检测工具的UCLID语言时设备所有寄存器变量的值，来检测设备规范与设备行为的一致性，可以提高设备规范和设备驱动的可靠性。 | ||
| 搜索关键词： | 设备 规范 行为 一致性 检测 系统 | ||
【主权项】：
一种设备规范与设备行为的一致性检测系统，其特征在于，包括：设备规范转化模块(1)，用于将Termite语言描述的设备规范转化为模型检测工具能够识别的UCLID语言描述的设备规范；设备行为转化模块(2)，用于将Verilog语言描述的硬件设备行为转化为UCLID语言描述的硬件设备行为；一致性检测模块(3)，用于将所述UCLID语言描述的设备规范和硬件设备行为输入模型检测工具得出检测结果。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于清华大学，未经清华大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201110391203.4/，转载请声明来源钻瓜专利网。
- 上一篇：一种用于恶性漏失的堵漏剂及配制方法
- 下一篇：固定音乐盘车
