关于组合逻辑产生latch的一段代码，请大家帮忙分析

daboboxiao

写一个状态机次态转移的组合逻辑，其中有含有nextstate = nextstate;的代码，请大家帮忙看下，是否会产生latch?如果是的话，需要怎么改进?谢谢
always @ (state,nextstate,state_tran_1,state_tran_2) begin

case (state)

3'b000 : nextstate = 3'b001;

3'b001 : if (state_tran_1 == 1'b1) begin

         nextstate = 3'b010;

       end

       else begin

      
nextstate = nextstate;

       end

  3'b010 : if (state_tran_2 == 1'b1) begin

  
         nextstate = 3'b011;

  
       end

  
       else begin

  
      
nextstate = nextstate;

  
       end

  3'b011 : if (state_tran_1 == 1'b1) begin

  
         nextstate = 3'b100;

  
       end

  
       else begin

  
      
nextstate = nextstate;

  
       end

  3'b100 : if (state_tran_2 == 1'b1) begin

  
         nextstate = 3'b001;

  
       end

  
       else begin

  
      
nextstate = nextstate;

  
       end

  default: nextstate = 3'b000;

endcase
end

my2817

有个插入代码的功能，怎么不用上啊，怎么不用上啊……

Timme

将所有nextstate = nextstate;替换成nextstate = state;即可

ps: 将状态机分开两段写没什么特别的好处，都是十几年前的老规定了（当时是方便古老的综合器识别），大可以写在一段里，新手不容易写错。

mmz001

楼上正解，顶一个！

daojianxiaohyf

3楼正解

daboboxiao

回复 3# Timme


   谢谢~！！！