期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种简捷快速的状态图简化算法
1
作者 谢磊 李清宝 丁正己 《信息工程学院学报》 1999年第4期28-30,共3页
同步时序机的状态驱动可根据状态图来完成，状态图通常由次态方程求得。但对于复杂的同步时序机，其状态图一般比较复杂且庞大，难于用计算机描述和处理。本文给出一种由次态方程生成简化状态图的算法，可使复杂的状态图大大简化而不影... 同步时序机的状态驱动可根据状态图来完成，状态图通常由次态方程求得。但对于复杂的同步时序机，其状态图一般比较复杂且庞大，难于用计算机描述和处理。本文给出一种由次态方程生成简化状态图的算法，可使复杂的状态图大大简化而不影响状态间的驱动。 展开更多
关键词 同步时序机 状态驱动 简化 状态图 算法
下载PDF
一个新的经济型状态化简软件
2
作者 陈昕 喻明艳 叶以正 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 1996年第2期80-83,共4页
介绍以隐含最大相容类集为基础的经济型状态化简新算法。该算法是从最大隐含相容类集得出最小闭覆盖的初始候选集，通过对初始候选集的不断调整，得到化简结果。通过与一个具有代表性的经济型算法软件的比较发现，用该算法实现的软件，... 介绍以隐含最大相容类集为基础的经济型状态化简新算法。该算法是从最大隐含相容类集得出最小闭覆盖的初始候选集，通过对初始候选集的不断调整，得到化简结果。通过与一个具有代表性的经济型算法软件的比较发现，用该算法实现的软件，除少数情况外，可对大量状态机进行更有效的状态化简。 展开更多
关键词 时序机 状态化简 逻辑综合 软件 AAMIC算法
下载PDF
未知同步时序机状态网络生成算法研究 被引量：1
3
作者 宋璞 李清宝 +1 位作者 肖达 樊敏 《计算机工程与设计》 CSCD 北大核心 2008年第6期1331-1335,共5页
获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的压缩状态网络动态生成算法可以在数据采集的同时动态生成状态转移关系图。深入探讨了状态驱动策略,保证状... 获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的压缩状态网络动态生成算法可以在数据采集的同时动态生成状态转移关系图。深入探讨了状态驱动策略,保证状态驱动路径尽可能短,搜索次数尽可能少,从而达到快速获取不明时序芯片内部状态网络的目的。最后通过实例模拟分析了状态网络的形成过程,通过阐述在实际工程中的应用情况,说明了算法的可行性。 展开更多
关键词 同步时序机 有穷自动机 状态网络 状态驱动 加全搜索 最短路径
下载PDF
同步时序机快速状态加全模拟算法研究 被引量：2
4
作者 李清宝 《微计算机信息》 北大核心 2005年第12Z期149-150,134,共3页
同步时序机状态加全模拟是同步时序机反设计的关键步骤。因时序机状态出现的频率不同,模拟分析的时间不等,有的太长,难以满足要求。本文在长期实践基础上提出了一种同步时序状态加全模拟的路径驱动算法,可以使状态驱动路径长度尽可能短... 同步时序机状态加全模拟是同步时序机反设计的关键步骤。因时序机状态出现的频率不同,模拟分析的时间不等,有的太长,难以满足要求。本文在长期实践基础上提出了一种同步时序状态加全模拟的路径驱动算法,可以使状态驱动路径长度尽可能短,路径查找或搜索次数尽可能少,从而达到同步时序机快速状态加全模拟的目的。 展开更多
关键词 同步时序机 加全模拟算法 快速状态 路径驱动算法
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部