hqbenson 发表于 2016-09-14 12:36
指点不敢..我也在学习中，只能按我理解的观点谈一下问题点...
楼主您可以试一下，源代码中，在用阻塞赋值时，如果将两个always调换位置（将第二个always写在前面，第一个always写在后面），仿真出来的结果会和原来的不一样。（sum要从第二个时钟沿才有输出，并且与当前的输入值之和不一致）
在用非阻塞赋值时，就算将两个always调换位置，仿真出来的结果是一样的。

根本原因在于，当仿真器运行到阻塞赋值语句时，先计算等号右边的值并更新，这时候赋值语句不允许任何别的verilog语句干扰，直到把该值赋值完成为止。
如果是非阻塞赋值语句，计算等号右边的值时，其他的verilog语句，非阻塞赋值语句都可以同时计算等号右边的值。非阻塞语句允许其他的语句同时操作。

按此理解，如果
1.原本代码，用阻塞：仿真器执行语句，按代码所述，第一个上升沿事件开始→计算出sum1和count1并立即赋值→计算cout和sum并立即赋值→结束上升沿事件。

2.原代码，用阻塞，将两个always对调：仿真器执行语句，第一个上升沿事件开始→计算出count和sum并立即赋值→计算出sum1和count1并立即赋值→结束上升沿事件。

3.原代码，用非阻塞：仿真器执行语句，第一个上升沿事件开始→计算出sum1和count1的值，同时计算sum，count的值（目标还未更新赋值）→更新赋值目标的值→结束上升沿事件。

情况1中，计算sum1与count1的阻塞赋值语句在前面，在sum与count执行之前，sum1与count1已经得到更新，所以第一个上升沿就有值输出。

情况2里面，由于把sum和count的语句写在了前面，仿真器先计算并更新它们俩的值，但由于此时sum1和count1仍是未知值，所以第一个时钟沿输出仍是未知值（红线），更新完sum与count后，才计算写在后面的always里面的sum1与count1的值并立即更新。

由于有这样的歧异，所以才可综合代码里，规定在含有时序逻辑的always块里面必须使用非阻塞。
由于流水线是典型的，严格的时序逻辑电路，所以必须使用非阻塞。

如果楼主您还不太理解，建议多写一些测试的小代码，用两种赋值修改看看仿真有什么不同然后用自己的想法去理解。当理解的差不多了，再写一些测试代码预测一下仿真结果，或者多看书上的例子。

按照您所说的，我又试了多种情况，发现：代码写在一个always块和写在两个always块中的仿真结果是一样的，那么问题来了：如果触发条件相同，一个always块是否和多个always块的效果相同呢？多个always块的意义又何在呢？