[发明专利]一种状态机及其状态机的控制方法

说明书

本发明提供一种状态机及其状态机的控制方法，包括：利用对状态机的多个状态编码为状态码，每个状态对应的状态码有且仅有一位与其它位不同，所述状态码的位数与所述状态机的状态数量相同；所述状态机当前状态的状态码与输入数据经由组合逻辑获得状态机的下一状态的状态码及输出数据；对所述状态机的下一状态的状态码的进行奇偶校验获得一奇偶校验位；以及根据所述奇偶校验位确定所述状态机的下一状态的状态码是否出错。本发明提供的状态机及其状态机的控制方法，能够实现状态码的检错。

技术领域

本发明涉及计算机应用领域，尤其涉及一种状态机及其状态机的控制方法。

背景技术

状态机(statemachine)定义了多个状态以及状态之间的迁移。状态机通过响应一系列事件而运行，当事件满足某些触发条件时，将导致状态机从当前的状态迁移到下一个状态。在所定义的多个状态之中，存在至少一个初态和至少一个终态，状态机从初态开始运行，当迁移到终态时，状态机停止运行。

状态机在计算机领域应用非常广泛，许多系统都使用到状态机，状态机根据状态机定义(状态图)来运行。如果系统需要实现复杂的逻辑功能，则相应的状态机定义也会十分复杂。因此导致状态机的设计非常复杂，设计过程中容易出错且限制了状态机的表达能力。另外，由于状态机所定义各个状态之间彼此存在着迁移关系，无法判断状态机在状态变化过程中是否出错。

发明内容

本发明为了克服上述现有技术存在的缺陷，提供一种状态机及其状态机的控制方法，能够实现状态码的检错。

根据本发明的一个方面，提供一种状态机的控制方法，包括：

利用对状态机的多个状态编码为状态码，每个状态对应的状态码有且仅有一位与其它位不同，所述状态码的位数与所述状态机的状态数量相同；

所述状态机当前状态的状态码与输入数据经由组合逻辑获得状态机的下一状态的状态码及输出数据；

对所述状态机的下一状态的状态码的进行奇偶校验获得一奇偶校验位；以及

根据所述奇偶校验位确定所述状态机的下一状态的状态码是否出错。

可选地，利用独热编码对状态机的多个状态编码为状态码，每个状态对应的状态码有且仅有一位为1。

可选地，若所述奇偶校验位表示所述状态机的下一状态的状态码中1的位数为偶数，则确定所述状态机的下一状态的状态码出错。

可选地，利用独冷编码对状态机的多个状态编码为状态码，每个状态对应的状态码有且仅有一位为0。

可选地，若所述奇偶校验位表示所述状态机的下一状态的状态码中0的位数为偶数，则确定所述状态机的下一状态的状态码出错。

可选地，所述对所述状态机的下一状态的状态码的进行奇偶校验获得一奇偶校验位包括：

若所述状态机的下一状态的状态码中1的位数为奇数，则所述奇偶校验位为1；

若所述状态机的下一状态的状态码中1的位数为偶数，则所述奇偶校验位为0。

可选地，所述对所述状态机的下一状态的状态码的进行奇偶校验获得一奇偶校验位包括：

若所述状态机的下一状态的状态码中1的位数为奇数，则所述奇偶校验位为0；

若所述状态机的下一状态的状态码中1的位数为偶数，则所述奇偶校验位为1。

可选地，若确定所述状态机的下一状态的状态码出错，则所述状态机抛弃所述下一状态的状态码，并使所述状态机的下一状态为空闲态。

可选地，若确定所述状态机的下一状态的状态码出错，则所述状态机抛弃所述下一状态的状态码，并使所述状态机的下一状态仍为当前状态，直到确定所述状态机的下一状态的状态码正常。