[发明专利]一种状态机可拼接性和拼接规则判定方法和装置

说明书

技术领域

本发明涉及数字集成电路领域，更具体地涉及一种状态机可拼接性和拼接规则判定方法和装置。

背景技术

动态可重配流水线技术使得硬件电路结构更加灵活可控，其本质是用程序描述流水线上各个状态机的行为。状态机对应于电路中各个功能单元，通过编程设计和配置状态机可以方便的操控硬件资源。然后，电路较为复杂时，状态机的设计和配置就变得极其复杂。

然而，当硬件需要执行较为复杂的操作或实现较为复杂的算法时，不同状态机的行为会变得复杂而多样，此时状态机拼接的情况就会极为复杂，可能面临不同类型状态机难以拼接、甚至不能拼接的情况。此时，如何从理论上分析状态机的可拼接性，识别出可以直接拼接、或者经过等价变换即可拼接的类型，以及提示不能拼接的状态机类型，就变得很关键。

发明内容

有鉴于此，本发明的主要目的在于提出一种状态机等价变换判定方法，从理论上系统全面地分析拼接过程中状态块的可拼接性，并且分析各种情况状态块的拼接规则和等价变换规则，以便于应对各种状态机拼接情况。

为了实现上述目的，作为本发明的一个方面，本发明提供了一种状态机可拼接性和拼接规则判定方法，包括以下步骤：

步骤1，进行初始化，将当前状态置为空状态；

步骤2，从待拼接状态块队列中读取一个状态块，根据该状态块的类型和当前状态判断该状态的处理方法，修改当前状态，并跳转到相应规则的步骤中；

步骤3，判断全顺序块的拼接规则，保持当前状态为全顺序状态，跳至步骤2；

步骤4，判断全循环块的拼接规则，保持当前状态为全循环状态，且读入的状态块为循环块，调用步骤6进行长度比较：

若步骤6返回长度相同，且比较的左右循环块循环次数相同，则保持当前状态为全循环状态，跳至步骤2；

若步骤6返回长度相同，且比较的左右循环块循环次数不同，则输出等价变换规则，方法结束；

若步骤6返回结果不同信息，则输出不可拼接，该方法结束；

步骤5，判断全嵌套循环块的拼接规则，保持当前状态为全嵌套循环状态，且读入的状态块为嵌套循环块，调用步骤6进行长度比较：

若步骤6返回长度相同，且比较的左右嵌套循环块循环次数相同，则保持当前状态为全嵌套循环状态，跳至步骤2；

若步骤6返回长度相同，且比较的左右嵌套循环块循环次数不同，则输出等价变换规则，方法结束；

若步骤6返回长度不同，则输出不可拼接，该方法结束；

步骤6，确定输入的两个循环块或两个嵌套循环块长度是否一致。

其中，步骤2中所述根据该状态块的类型和当前状态判断该状态的处理方法，修改当前状态，并跳转到相应规则的步骤中的步骤包括：

若当前状态为空状态：

若读取的状态块为顺序块，置当前状态为全顺序状态，重新开始步骤2；

若该状态块为循环块，置当前状态为全循环状态，记录当前循环块的循环长度，重新开始步骤2；

若该状态块为嵌套循环块，置当前状态为全嵌套循环状态，记录当前循环块的循环长度，重新开始步骤2；

若当前状态为全顺序状态：

若读取的状态块为顺序块，则跳转到步骤3；

若读取的状态块为循环块或嵌套循环块，则修改当前状态为非全顺序状态，输出等价变换规则，该方法结束；

若当前状态为全循环状态：

若读取的状态块为循环块，则跳转到步骤4；

若读取的状态块为顺序块，则修改当前状态为非全顺序状态，输出等价变换规则，该方法结束；

若读取的状态块为嵌套循环块，则修改当前状态为非全循环状态，输出等价变换规则，该方法结束；

若当前状态为全嵌套循环状态：

若读取的状态块为嵌套循环块，则跳转到步骤5；

若读取的状态块为顺序块，则修改当前状态为非全顺序状态，输出等价变换规则，该方法结束；

若读取的状态块为循环块，则修改当前状态为非全循环状态，输出等价变换规则，该方法结束；

若读取待判定状态块队列为空，且当前状态为全顺序状态、全循环状态或全嵌套循环状态，则输出可拼接规则，该方法结束。

其中，步骤6中所述长度与循环体长度、总循环次数和已循环次数相关，表示为：长度＝循环体长度×(总循环次数-已循环次数)。

其中，步骤6中所述确定输入的两个循环块或两个嵌套循环块长度是否一致的步骤包括：