基于等价关系的完全确定时序逻辑电路状态化简算法

• 作者: 吕迎春 尚奥 裴晓鹏 陈泽华
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 状态化简 等价关系 粒计算 时序逻辑电路
• 年，卷（期）: 2018,（1）
• 所属期刊栏目: CRSSC-CWI-CGrC-3WD 2017
• 页码范围: 118-121
• 页数: 4页
• 分类号: TP182
• 字数: 4877字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2018.01.019

摘要

完全确定时序逻辑电路状态化简是指找到并合并逻辑电路中的等价状态,进而简化电路,提高电路安全性,节约硬件电路成本.电路状态化简的关键是依据等价关系找到电路中的最大状态等价类集合.针对此类问题,提出了一种基于等价关系构建状态转移系统矩阵进行状态化简的算法,并将粒计算理论中的分层粒化思想用于最大等价类集合的求取过程中.在定义输出矩阵和次态矩阵的基础上,根据输出矩阵对原始状态进行初级等价类的划分与标记,可以得到初态标记矩阵和次态标记矩阵,然后构建状态转移系统矩阵.利用等价关系将状态转移系统矩阵中相同的列进行合并,则完成一次对原始状态最大等价类的划分.根据迭代原则,等价类粒子由粗到细,直到分类不再改变时便得到最终的最大状态等价类集合.最后进行状态合并,得到最小化状态表.算法分析表明,该算法简单、准确、有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈泽华	太原理工大学信息工程学院	48	362	9.0	17.0
2	尚奥	太原理工大学信息工程学院	1	1	1.0	1.0
3	裴晓鹏	太原理工大学信息工程学院	2	5	1.0	2.0
4	吕迎春	太原理工大学信息工程学院	10	50	4.0	6.0