数字设计中基于图的状态等价类集生成算法

• 作者: 任传成 唐忠莉 孙志卓 徐凤生
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 等价类 状态化简 连通分支 邻接矩阵
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 算法
• 页码范围: 247-248,257
• 页数: 3页
• 分类号: TP3
• 字数: 2753字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.05.082

摘要

在完全确定状态的时序电路、状态机等数字系统设计中,确定全部状态等价类,是进行最优状态化简的前提.结合图论理论提出一种等价类集生成算法,首先建立等价类与图中连通分支的联系,然后给出了通过化简图的邻接矩阵而得到等价类集的方法.算法易于编程实现,适合那些状态完全确定的包含几十、上百甚至更多初始状态的大规模数字系统设计.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐凤生	德州学院计算机系	101	583	13.0	19.0
2	任传成	德州学院计算机系	37	101	6.0	7.0
3	唐忠莉	德州学院计算机系	6	22	3.0	4.0
4	孙志卓	德州学院计算机系	17	106	7.0	10.0