A New Method for State Simplification in Incompletely Specified Sequential Machines

This paper presents a method for state simplification in incompletely specified sequential machines. The new method adopts Inclusive-OR operation of column vectors for multi-level output matrix E_k! Compared with other algorithms in use, this method is theoretically more strict, while its structure is simple and the results obtained are accurate.

非完全确定有限状态机最小闭覆盖的有效算法

有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法,提出了一种有效的求解非完全确定有限状态机的状态最小化算法,减少了搜索的空间,提高求解速度。

一类非完全定义时序机的状态化简

应用矩阵模型，提出了一类非完全定义时序机的映射矩阵Ａｉ和Ｂｉ的计算方法和状态相容条件，根据状态相容求出Ｐｋ划分，从而得到了该类时序机状态化简的算法．

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.