状态转换图

作品数：76被引量：182H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘贵云张继军吴哲辉董卫李炜更多>>
相关机构：广州大学东南大学山东农业大学山东科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江西省自然科学基金广东省科技计划工业攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机技术与发展x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于状态转换图同构求解的等价性验证算法被引量：1
《计算机技术与发展》2009年第3期74-76,83,共4页卢英 李炜 
安徽省高等学校省级自然科学计划项目资助(2006KJ013A)
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子...
关键词：状态转换图 同构 时序电路 等价状态对 
超大规模数字系统控制器的验证实现被引量：1
《计算机技术与发展》2008年第10期170-172,176,共4页卢英 李炜 张义超 郭星 
安徽省自然科学基金资助计划项目(2006KJ013A)
数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性,介绍了模拟验证和形式验证两种验证方法,并对它们进行了分析与比较,然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状...
关键词：超大规模数字系统 电子设计自动化 模拟验证 形式验证 状态转换图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部