[发明专利]一种基于脚本的用于辅助状态机逻辑代码设计的方法

权利要求书

1.一种基于脚本的用于辅助状态机逻辑代码设计的方法，其特征在于，具体步骤如下：

1）用户根据需求编写状态机的非初始化部分代码，将状态机编写为二段式或三段式状态机，且在变量输出代码段应使用时序逻辑设计，在对状态信号命名时应遵循特定规律，当前状态信号名应添加“_cur”后缀，下一状态信号名应添加“_nex”后缀；

2）用户编写变量列表检索脚本，将符号序列左侧的变量名提取出来后检索当前状态机已保存变量列表，如果是新变量名就保存至变量名列表结构体中，如果是已保存变量就丢弃该变量名，当扫描完成当前状态机代码后，脚本打印输出当前状态机所有被赋值变量列表；

3）用户编写状态机“case”语句分支完整性检测脚本，该脚本将根据“case”语句敏感变量的位宽自动计算应该有多少分支，并以“ ：”符合序列为标志位，将符号序列左侧分支名保存在分支名结构体中，检索结构体中是否有“default”，若没有该分支就统计结构体中分支名个数是否与目标分支个数一直，并将结果打印输出；

4）用户编写状态机状态变换图生成脚本，该脚本将检索状态机的“case”语句，获取各分支名及其中“_nex”标志序列右侧分支名，建立状态跳转结构体，结构体中存储当前状态的父状态名、子状态名和当前状态内输出变量名等信息，将结构体内容打印输出为状态机状态变换图；

5）当更改设计时，只需要重新调用上述脚本就可以获得新状态机的相关辅助设计信息。

2.根据权利要求1所述的基于脚本的用于辅助状态机逻辑代码设计的方法，其特征在于，所述步骤2中脚本以状态机代码中的赋值符号序列“ = ”或“ = ”为标志位。