状态机学习笔记

mealy型与moore型的区别

 

对于实现同一功能，可以构造出不同的状态转换图。但一定要遵循结构化设计和互补原则。

设计应该遵从以下几个方面：

1：定义完全状态

否则会给电路带来latch，latch会带来额外的延时，和异步timing问题

case要定义default；if要定义else。

2：确保不同时出现多种状态

3：禁止使用casex

4：推荐在模块划分时，把状态机设计分离出来，便于使用综合根据对状态机优化。

5：在条件表达式或附值语句中，要注意向量的宽度适配。否则，前仿真和后仿真不一致，RTL 级的功能验证很难找出问题所在。