状态转换图

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

检索结果分析

结果分析中...
选择条件：
  • 主题=时序电路x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于状态转换图同构求解的等价性验证算法被引量：1
《计算机技术与发展》2009年第3期74-76,83,共4页卢英 李炜 
安徽省高等学校省级自然科学计划项目资助(2006KJ013A)
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子...
关键词：状态转换图 同构 时序电路 等价状态对 
时序电路的功能验证探析
《科技资讯》2008年第35期116-117,共2页郑冰 方华丽 
本文笔者比较了基于状态转换表和基于状态转换图的功能验证方法,并总结出两种方法各自的特点和适合时序电路功能验证的方法,为验证工程师挑选验证方案提供了有利的数据支持。
关键词：功能验证 状态转换表 状态转换图 时序电路 
同步时序逻辑电路设计新法
《物理实验》2004年第11期9-11,共3页徐思成 
提出了一种同步时序逻辑电路设计新方法 .根据触发器 (FF)的基本特性 ,可从电路的状态转换图上直接求得触发器置位、复位函数 ,进而确定触发器的驱动方程 .具体设计实例表明该方法简捷、高效 ,设计电路功能正确 .
关键词：同步时序电路 触发器 状态转换图 
异步时序电路的功能测试自动生成方法
《计算机工程》2003年第16期71-72,102,共3页徐敬波 郑明 薄亚明 
异步时序电路的测试一直是一个比较困难的问题。该文通过在前人研究的基础上，提出了一种实用、高效的自动测试生成方法。该方法通过使用基于OBDD（有序二元判决图）的布尔特征函数的运算求解来确定电路的状态转换图，然后通过对转换图...
关键词：异步时序电路 功能测试 有序二元判决图 状态转换图 
一种设计同步时序逻辑电路的新方法
《电子工程师》2000年第11期46-47,共2页史庆军 
提出了一种设计同步时序逻辑电路的新方法。根据触发器 (FF)基本特性 ,可从电路的状态转换图上直接求得触发器置位、复位函数 ,进而确定触发器的激励方程。具体设计实例表明该方法简捷、高效 。
关键词：同步时序电路 状态转换图 逻辑电路 电路设计 
一种设计同步时序电路的新方法被引量：2
《微电子学》1999年第1期39-43,53,共6页成立 
介绍了一种设计同步时序逻辑电路的新方法。该方法之关键在于直接从时序电路的状态转换图（ＳＴＤ）获得Ｊ－Ｋ、Ｄ和Ｔ触发器的激励方程式。采用该方法设计了几个实例，并由此验证了其正确性和有效性。
关键词：触发器 时序电路 状态转换图 卡诺图 激励方程式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部