HSM2：改进的有限状态机状态化简的启发式算法
摘要
在时序电路的自动综合中，状态化简作为一个重要的组成部分，对综合后电路的面积、时延、功耗和验证有着重要的影响。状态化简作为一个NP难题，人们在过去的几十年中对它作了大量的深入研究。
-
1王文章.状态化简的一个并行算法[J].计算机学报,1990,13(11):831-838. 被引量：2
-
2孙志卓,徐凤生,任传成,唐忠莉.数字设计中基于图的状态等价类集生成算法[J].计算机应用与软件,2009,26(5):247-248.
-
3孙志卓,史大光,任传成,王宝仁.基于关系矩阵的状态等价类集生成算法[J].微电子学与计算机,2008,25(4):136-138.
-
4杜鹃,鞠建平,胡荣强.数字电路中状态化简新方法探讨[J].中国教育技术装备,2014(2):49-50.
-
5谢巍,刘明业.控制流综合中省略状态化简的可行性[J].计算机辅助设计与图形学学报,2001,13(8):679-683. 被引量：1
-
6曲英杰,赵庆.有限状态机的状态化简方法及其Verilog实现研究[J].科技信息,2008(32):24-25.
-
7杨贯中,陆应平,王荣湘.一类非完全定义时序机的状态化简[J].湖南大学学报（自然科学版）,1998,25(2):103-108. 被引量：1
-
8郭贤生,吴斌.用C语言编程化简数字电路设计中的等价状态[J].西南科技大学学报,2003,18(2):28-30.
-
9陈云洽.串行数据检测器的设计[J].电气电子教学学报,2006,28(2):110-113. 被引量：2
-
10李炜,吴建国,刘政怡.非完全确定有限状态机最小闭覆盖的有效算法[J].四川大学学报（工程科学版）,2007,39(S1):82-86. 被引量：1
