状态转换图

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

检索结果分析

结果分析中...
选择条件:
  • 主题=电路x
条 记 录,以下是1-10
视图:
排序:
基于状态转换图同构求解的等价性验证算法被引量:1
《计算机技术与发展》2009年第3期74-76,83,共4页卢英 李炜 
安徽省高等学校省级自然科学计划项目资助(2006KJ013A)
文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子...
关键词:状态转换图 同构 时序电路 等价状态对 
时序电路的功能验证探析
《科技资讯》2008年第35期116-117,共2页郑冰 方华丽 
本文笔者比较了基于状态转换表和基于状态转换图的功能验证方法,并总结出两种方法各自的特点和适合时序电路功能验证的方法,为验证工程师挑选验证方案提供了有利的数据支持。
关键词:功能验证 状态转换表 状态转换图 时序电路 
同步时序逻辑电路设计的新方法被引量:1
《西华师范大学学报(自然科学版)》2008年第2期204-207,共4页谢春茂 
提出了从状态转换图中直接求得触发器的置位和复位函数,从而确定触发器的驱动方程这样一种设计同步时序逻辑电路的新方法.设计原理简单,易于理解,适合于所有同步时序逻辑电路.
关键词:同步时序逻辑电路 触发器 状态转换图 驱动方程 
时序逻辑电路的卡诺图分析法被引量:1
《通化师范学院学报》2005年第4期33-36,共4页赵兴强 金洪颖 
四川省重点科技项目(02GG006-036)
提出了一种分析时序逻辑电路功能的新方法:利用分项满足法和时钟方程来填写状态方程的卡诺图。
关键词:时序逻辑电路 卡诺图 状态转换图 时钟方程 
时序逻辑电路功能表示方法的分析被引量:3
《锦州师范学院学报(自然科学版)》2004年第4期326-327,共2页李弋 任骏原 张凤云 
关键词:时序逻辑电路 功能表 状态转换图 真值表 时序图 逻辑表达式 描述逻辑 相互转换 表示方法 
同步时序逻辑电路设计新法
《物理实验》2004年第11期9-11,共3页徐思成 
提出了一种同步时序逻辑电路设计新方法 .根据触发器 (FF)的基本特性 ,可从电路的状态转换图上直接求得触发器置位、复位函数 ,进而确定触发器的驱动方程 .具体设计实例表明该方法简捷、高效 ,设计电路功能正确 .
关键词:同步时序电路 触发器 状态转换图 
异步时序逻辑电路设计的一种简明方法被引量:3
《西华师范大学学报(自然科学版)》2004年第2期227-230,共4页赵兴强 
提出了一种异步时序电路设计的新方法:时钟信号与次态卡诺图联立法.根据时钟信号填写次态卡诺图,当触发器满足时钟信号时其次态由状态转换图决定,否则其次态为约束项.据此可方便求出驱动方程并判断自启动.
关键词:异步时序逻辑电路 电路设计 时钟信号 次态卡诺图 状态转换图 约束项 
异步时序电路的功能测试自动生成方法
《计算机工程》2003年第16期71-72,102,共3页徐敬波 郑明 薄亚明 
异步时序电路的测试一直是一个比较困难的问题。该文通过在前人研究的基础上,提出了一种实用、高效的自动测试生成方法。该方法通过使用基于OBDD(有序二元判决图)的布尔特征函数的运算求解来确定电路的状态转换图,然后通过对转换图...
关键词:异步时序电路 功能测试 有序二元判决图 状态转换图 
时序逻辑电路的自启动设计
《濮阳教育学院学报》2003年第2期27-28,共2页郭建英 
本文介绍了时序逻辑电路的自启动设计方法。
关键词:时序逻辑电路 自启动设计 状态转换图 卡诺图 状态方程 触发器 
微机实验监控判错系统
《计算机时代》2002年第7期18-19,共2页陈柏成 
本文提出了一种新的实验模式—软硬件结合的实时自动判错系统,用于对学生实验中每一步的接线、操作进行监视,对错误即时显示判断结果。文中详细叙述了实现的关键技术,并讨论了其利弊。
关键词:数字电路 微机 实验监控判错系统 状态转换图 
检索报告 对象比较 聚类工具 使用帮助 返回顶部