【作者】 李炜； 许中卫； 刘政怡； 刘露露；

【Author】 LI WE,,XU ZHONG_WEI,LIU ZHENG_YI,LIU LU_LU (Anhui university,hefei,230039)

【机构】 安徽大学计算机学院；

【摘要】 有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大的FSM最小化。本文给出了一种有效的求解非完全确定有限状态机的状态最小化算法。该算法利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法实现。更多还原

【Abstract】 It is very important for reduce circuit complex by state reduction in Finite State Machine(FSM) sythesis.Because of EDA development,it need an efficient algorithm for very large FSM.This paper gives an an efficient algorithm for State Minimization of Incompletely Specified Finite State Machine.The algorithm utilize generating sequence,dynamically constructing searching-tree,pruning,heuristically depth-first searching,and branch bounding methods to reduce the search space.更多还原