形式化验证技术

作品数：15被引量：47H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吴尽昭周建涛叶新铭史美林郭建更多>>
相关机构：广西民族大学中国科学院成都计算机应用研究所西北工业大学国防科学技术大学更多>>
相关期刊：《计算机工程与设计》《太原师范学院学报（自然科学版）》《信息与电脑（理论版）》《计算机工程与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划广西教育厅科研项目广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=硬件设计x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
硬件设计的形式化验证技术被引量：1
《太原师范学院学报（自然科学版）》2007年第2期54-56,共3页杨泽民 范全润 
形式化验证用数学可证明的方式来验证系统.硬件设计的形式化验证通常有三种方法:定理证明、等价性检验和模型检验.文章着重分析了这三种方法的优缺点,探讨了形式化验证技术所面临的挑战,以及目前形式化验证技术可能的一些研究方向.
关键词：硬件 形式化验证 定理证明 等价性检验 模型检验 
基于时态逻辑的硬件设计形式化验证技术——模型检验被引量：5
《小型微型计算机系统》2001年第5期521-524,共4页郭建 杜惠敏 韩俊刚 郝克刚 
国家自然科学基金资助! (NO69473 0 17)
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用 ,同时对布尔函数在计算机内的表示二叉判定图 (BDD)进行了进一步地分析 。
关键词：时态逻辑 模型检验 布尔函数 硬件设计 形式化验证 计算机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部