有限狀態機的例子

always @ ( posedge clk )
  begin
    if ( reset )
      begin
        inIndex <= 1'b0;
        expState <= expIdle;
      end
    else if ( expStart == 1'b1 )
      begin
        expState <= expRun;
      end
    else
      begin
        expState <= expNextState;
      end
  end
 
always @ ( expState ) // FSM
  begin
    if ( expState == expIdle )
      begin
        ;
      end
    else if ( expState ==  )
      begin
        ;
      end
    else
      begin
        expState <= expIdle;
      end
  end