不可综合语句-在多个always块中对同一变量赋值.doc

不可综合语句——在多个always块中对同一变量赋值 先从夏老师的书里摘录点东西： QUOTE: “在描述组合逻辑的always块中使用阻塞赋值，则综合成组合逻辑的电路结构。” “在描述时序逻辑的always块中使用时序赋值，则综合成时序逻辑的电路结构。” 阻塞与非阻塞赋值的使用原则： 原则1：时序电路建模时，用非阻塞赋值。 原则2：锁存器电路建模时，用非阻塞赋值。 原则3：用always块描述组合逻辑时，采用阻塞赋值。 原则4：在同一个块中描述时序逻辑和组合逻辑的混合逻辑时，用非阻塞赋值。 原则5：同一个always块中只能全用阻塞赋值或者全用非阻塞赋值。 原则6：不能在多个always块中对同一个变量进行赋值。 这个问题也困饶我比较久了，今天终于解决，啦啦啦啦啦~~ 考虑到菜鸟们大都有夏老师的书了，所以我来说点夏老师书里没有的。 首先让我们看看为什么不能如此赋值。寄存器输入端是由触发器组成的，用两个always块对一个寄存器进行赋值，无论其中经过了怎样的条件判断，最终结果毫无疑问是将两个相独立的触发信号连在了寄存器的CLK端上，一端口接入两信号，这显然已经不是一个符合标准的数字逻辑电路了。所以这样的语句是无法被综合成电路的。（不同软件的处理似乎不同，quartus2是直接拒绝双always赋值，而有的综合布线软件在警告之后会将两个信号连到一个双端口门上再接入寄存器，这显然会改变程序原有逻辑，画波形图一看就知道了。） 然后来看看小生思考良久得到的解决方法吧。 下面是偶正在做滴那个电子表中计数器模块的入口模块，其中IN2，IN3都是高电平有效的外部按钮产生的信号。由于要实现手动设置实现功能，所以就需要通过按钮的触发信号对计数器进行操作，但是自动计时状态下对计数器进行赋值的是时钟CLK，这就产生了在always@(CLK)和always@(IN2)两个always块下对计数器进行的赋值操作。 CODE:[Copy to clipboard] module HUB_IN ( CLK, reset, IN2, IN3, STATUS, CP, POS ); input CLK; input reset; input IN2; input IN3; input [1:0] STATUS; output CP; output [2:0] POS; reg [2:0] POS; always@( posedge CLK) begin … POS=POS+3’b1; … end always@( posedge IN3) begin … POS=POS+3’b1; … end endmodule 这样的代码是不可综合的，那么怎么处理呢。小生找到了两个方法。 方法一：状态机 这个可能是比较通用的方法。小生引入了一个1位状态机（如图） 将INT由0变为1的过程作为IN3的上升沿，将INT由1变为0的过程作为IN3的下降沿。 代码如下： CODE:[Copy to clipboard] reg INT; always@(CLK) if(INT==0) if(IN3==1) begin INT=1; …. //想在IN3上升沿触发的动作 end else ; //INT=0时想在CLK触发沿触发的动作 else if(IN3==0) begin INT=0;