收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

在数字电路验证中使用模型检验

李鸿儒  宋强  
【摘要】:形式化方法作为仿真方法的补充,为电路功能验证提供了新的途径。介绍了形式化验证方法之一,模型检验的理论基础和实现方法。介绍了分支时态逻辑CTL、CTL的固定点算法,二元决策图BDD,以及符号模型检验方法。最后使用SMV工具在一个CISC处理器的存储管理单元(MMU)上应用了模型检验,验证了模型检验在模块级验证中的可行性。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 韩俊刚;用高阶逻辑表达时态逻辑及其应用[J];计算机学报;1993年12期
2 张宇,黄克,李祖珉;实时程序设计方法的发展趋势[J];计算机研究与发展;1993年01期
3 赵一男,刘文清;操作系统的安全性及其开发[J];计算机工程与科学;1995年04期
4 高建平,陈宗基;混合系统的形式化验证[J];北京航空航天大学学报;1999年02期
5 肖德琴;形式化验证认证协议的研究[J];计算机工程;1999年S1期
6 韩俊刚;形式化方法和混合系统[J];西安邮电学院学报;1999年01期
7 杜慧敏,刘建元,韩俊刚,高德远;用VIS验证微处理器PIC[J];计算机辅助设计与图形学学报;2000年05期
8 杨红丽,王曙燕,韩俊刚;基于形式化的面向对象开发方法(FMOO)[J];计算机应用;2000年05期
9 杜慧敏,杨红丽,韩俊刚;实时系统状态空间分析的一种算法[J];计算机应用;2000年S1期
10 郭建,韩俊刚;对VIS系统关键技术的改进[J];计算机应用;2000年S1期
中国重要会议论文全文数据库 前8条
1 吴铃铃;周干民;何伟;高明伦;;IP软核的形式化验证[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
2 屈婉霞;郭御风;李琼;徐炜遐;;HyperTransport及其验证[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
3 李彩虹;章超;李廉;孙守卿;;分布式同步仲裁器电路的SPIN建模和验证[A];2005年全国理论计算机科学学术年会论文集[C];2005年
4 薛慧琦;吴恒;;由程序规约推导程序[A];2005年全国理论计算机科学学术年会论文集[C];2005年
5 郭华;庄雷;;电子商务协议的形式化验证方法及FR验证实例[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 宋顺子;权奇春;;韩国核仪表与控制系统中安全软件的验证与确认过程[A];全国第四届核反应堆用核仪器学术会议论文集[C];2005年
7 何青;骆翔宇;苏开乐;;对弈必胜策略的符号化模型检测[A];2006年全国理论计算机科学学术年会论文集[C];2006年
8 杨军;葛海通;;基于BDD的时序电路等价性验证[A];第四届中国测试学术会议论文集[C];2006年
中国博士学位论文全文数据库 前8条
1 沈胜宇;模型检验的反例解释[D];国防科学技术大学;2005年
2 李梦君;安全协议形式化验证技术的研究与实现[D];国防科学技术大学;2005年
3 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
4 蒋建民;对称与动作细化[D];中国科学院研究生院(成都计算机应用研究所);2006年
5 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
6 张秀国;基于过程网络的服务协同计算模型研究[D];大连海事大学;2006年
7 邓水光;Web服务自动组合与形式化验证的研究[D];浙江大学;2007年
8 岳华伟;对一种SOC总线系统的验证[D];中国科学技术大学;2007年
中国硕士学位论文全文数据库 前10条
1 张玲;数字现金协议及逻辑验证[D];国防科学技术大学;2002年
2 刘密霞;基于策略的信息安全模型及形式化建模的研究[D];兰州理工大学;2004年
3 冯卫兵;基于Petri网的工作流模型[D];西北大学;2004年
4 王莉;供热混合系统的抽象及其形式化验证[D];华中科技大学;2004年
5 林立;基于高阶逻辑系统HOL的数字硬件形式化验证[D];西安电子科技大学;2005年
6 侯峻峰;安全协议形式化验证方法和安全协议设计研究[D];清华大学;2004年
7 李琳娜;公式时钟自动机[D];郑州大学;2005年
8 马小龙;形式化验证在Office安全中的应用研究[D];中国人民解放军信息工程大学;2005年
9 王迪;微处理器的分级模型检验验证研究[D];清华大学;2005年
10 圣应山;HGD05A专用集成电路的设计[D];合肥工业大学;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978