一般描述有限状态机应遵循一定的语法规则:
状态机的状态: 用枚举类型数据进行定义。
状态机的次态逻辑、输出逻辑和状态寄存器等一般用下面几种语句进行描述:
1)、并行信号赋值语句;
2)、IF语句;
3)、CASE语句。
有限状态机的各种描述风格
描述风格 | 功能划分 | 进程数 | |
A | 1、次态逻辑、状态寄存器、输出逻辑 | 1 | |
B |
1、次态逻辑、状态寄存器 2、输出逻辑 |
2 | |
C |
1、次态逻辑 2、状态寄存器、输出逻辑 |
2 | |
D |
1、次态逻辑、输出逻辑 2、状态寄存器 |
2 | |
E |
1、状态逻辑 2、状态寄存器 3、输出逻辑 |
3 |
有限状态机各种描述风格对逻辑综合的结果影响很大,一般地,时序逻辑电路与组合逻辑电路分别用不同的进程进行描述,综合后不会生成多余的寄存器,占用硬件资源输省;若把时序逻辑电路与组合逻辑电路混合在同一个进程描述,逻辑综合时,可能生成数目较多的多余寄存器,占用硬件资源会大大增加。