王亚丽

作品数：1被引量：1H指数：1
导出分析报告
供职机构：北京化工大学信息科学与技术学院更多>>
发文主题：形式化验证建模法定理证明迭代法硬件电路更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与设计》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
结构建模法在硬件电路形式化验证中的应用被引量：1
《计算机工程与设计》2016年第1期259-263,共5页张杰 王亚丽 李黎明 李晓娟 
国家自然科学基金项目(61373034)
为解决硬件电路形式化验证过程中,验证对象的结构过于庞大复杂难以进行形式化描述与验证的问题,提出一种结构建模法。对两种不同的结构建模方法 (分解法和迭代法)分别进行讨论,分析两种方法的异同点以及适用性,详述结构建模过程中需要...
关键词：结构建模 形式化验证 定理证明 分解法 迭代法 74LS182 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部