quartus 中关于不含default的case语句的疑惑

FBI888XH

在组合逻辑中写case语句时，一般的情况下，一定要包含所有的分支条件，每个条件覆盖所有的敏感列表
（case中使用的变量）,并且加上default。以避免综合的过程中产生锁存器，而得不到正确的结果。
例如：

1. always@(a)
2. begin
3. case(a)
4. 0:b=0;
5. 1:b=1;
6. 2:b=2;
7. 3:b=3;
8. 4:b=4;
9. 5:b=5;
10. endcase
11. end

a的值每个时钟周期加1。在SingalTap中得到的结果为：

可以看到，b＝6的结果是错误的。
为了产生正确的结果，可以添加一个时序逻辑以保存b的值。

1. always@(posedge clk)
2. begin
3. temp=b;
4. end
5. 
   
6. always@(a)
7. begin
8. case(a)
9. 0:b=0;
10. 1:b=1;
11. 2:b=2;
12. 3:b=3;
13. 4:b=4;
14. 5:b=5;
15. default:b=temp;
16. endcase
17. end

这样就可以得到正确的结果：