首页> 中文期刊> 《小型微型计算机系统》 >基于时态逻辑的硬件设计形式化验证技术--模型检验1

基于时态逻辑的硬件设计形式化验证技术--模型检验1

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用,同时对布尔函数在计算机内的表示二叉判定图(BDD)进行了进一步地分析,最后给出了一个时态逻辑对硬件设计进行验证的例子.

著录项

来源
《小型微型计算机系统》 |2001年第5期|521-524|共4页
作者
郭建; 杜惠敏; 韩俊刚; 郝克刚;
展开▼
作者单位

西安邮电学院ASIC中心;

西北工业大学计算机科学系;

西安邮电学院ASIC中心;

西北大学计算机科学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动机理论;
关键词
时态逻辑; CTL; BDD; 模型检验; 符号模型检验;

相似文献

中文文献
外文文献
专利

1. 基于扩展序类逻辑的Ontology形式化描述与模型检验 [J] . 陶县俊 ,王晓东 . 计算机工程与设计 . 2008,第022期
2. 基于时态描述逻辑的UML活动图形式化规约 [J] . 陈振庆 . 中南林业科技大学学报 . 2011,第011期
3. 基于时态逻辑的协议RSL形式化描述 [J] . 顾翔 ,邱建林 . 计算机工程 . 2011,第005期
4. 基于时态逻辑的形式化联邦校核方法 [J] . 杨惠珍 ,康凤举 ,马裕民 . 西北工业大学学报 . 2005,第004期
5. 基于不同形式化模型的网络通信协议验证技术的分析与比较 [J] . 李艳 ,肖德宝 . 华中师范大学学报（自然科学版） . 2002,第004期
6. 硬件设计的形式验证与时态逻辑 [C] . 韩俊刚 . 全国第五届CAD与图形学学术会 . 1988
7. 基于开放时态逻辑的面向方面程序形式化验证和模块推理研究 [A] . 吕嘉 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号