1。使用完备的if......else语句;
2。检查涉及中是否含有组合逻辑反馈环路;
3。为每个输入条件,设计输出操作,对case语句设置default操作。特别是在状态及设计中,最好有一个default的状态转移,而且每个状态最好也有一个default的操作;
4。如果使用case语句时,特别是在设计状态机时,尽量附加综合约束属性,综合为完全条件case语句(full case)。目前,大多数综合工具支持full case的综合约束属性,具体的语法可参考综合工具的约束属性指南。