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

摘要：

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

关键词：状态化简、等价关系、粒计算、时序逻辑电路

所属期刊栏目：45

分类号：TP182(自动化基础理论)

资助基金：国家自然科学基金资助项目61402319;山西省自然科学基金项目2014021022-4

在线出版日期：2018-04-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：118-121