mealy型与moore型的区别
对于实现同一功能，可以构造出不同的状态转换图。但一定要遵循结构化设计和互补原则。
设计应该遵从以下几个方面：
1：定义完全状态
否则会给电路带来latch，latch会带来额外的延时，和异步timing问题
case要定义default；if要定义else。
2：确保不同时出现多种状态
3：禁止使用casex
4：推荐在模块划分时，把状态机设计分离出来，便于使用综合根据对状态机优化。
5：在条件表达式或附值语句中，要注意向量的宽度适配。否则，前仿真和后仿真不一致，RTL 级的功能验证很难找出问题所在。