非完全确定有限状态机最小闭覆盖的有效算法OA北大核心CSCDCSTPCD
有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法,提出了一种有效的求解非完全确定有限状态机的状态最小化算法,减少了搜索的空间,提高求解速度。
李炜;吴建国;刘政怡
安徽大学信号与智能计算实验室安徽大学信号与智能计算实验室安徽合肥
信息技术与安全科学
有限状态机(FSM)非完全有限状态机(ISSM)状态化简
《四川大学学报:工程科学版》 2007 (S1)
5
评论