状态机问题

唐顺之

1.源代码如下不能生成状态转移图
' X3 s" E0 n4 L3 |/ Ymodule fsm(
0 w; Y) x. @+ L0 s$ V; x
clk,

reset,

9 B* ]! j' z4 t1 Y" F8 [$ S: iA,

4 L- O1 y2 L$ f; G, D) e2 AK1,

. N8 s0 _: Y$ UK2,
- |8 K! e; R8 R
state
6 b' v4 }: x  y7 o9 [+ m* ~            );

input clk,reset,A;
output K1,K2;
//output[1:0] state;
reg K1,K2;
reg [1:0] state;
' \; W8 O9 E3 r  v. G& C) D
parameter  Idle = 2'b00,

   Start= 2'b01,
2 }( T) h& m" [% Y; z+ s3 O% W7 t
( \- y/ U5 ?; l; p4 d% l& |9 T- N' J   Stop = 2'b10,
4 X0 _+ H/ q6 i! K( I; j, H
, F. X$ k$ \' v1 |( l   Clear= 2'b11;
) L; a, z" Q4 i! B  [, [
* P" g  L' X  T9 S6 C; }: T0 M   
always @(posedge clk)
5 N8 l/ r1 l7 T7 u8 a1 r$ Nbegin
   if(!reset)
   begin
      state<=Idle;
/ @' I' `$ u% |1 @. [$ h, M      K2<=0;
9 M  X) t) o9 S& H' y      K1<=0;
   end
   else
   begin
      case(state)
      Idle:
$ }; ]% W& B, g6 z0 E7 V0 \3 v      begin
         if(A)
         begin
            state<=Start;
            K1<=0;
         end
         else
0 P8 P2 r/ b; n, l* P- B# T' S         begin
9 J" _' O) r: U/ v$ n  g0 |% ^. e            state<=Idle;
, c, k5 x' i9 x+ E3 p            K2<=0;
) M- h- v% v7 K5 M            K1<=0;
( [; |9 @/ N9 M. r         end
+ }  _+ X% y9 M; P8 L/ b! j1 o% o  b      end
      Start:
' m7 n& U% ?5 l( C; r, ]( ]3 f  |5 N      begin
- k3 T) C9 M! B8 C# V        if(!A)
+ z- W5 ?: @$ z        begin
           state<=Stop;
6 z6 T  r7 L4 ?; k$ s        end
        else
* v3 Y! @$ u# J" j) w        begin
+ F" G1 [9 S5 x0 I           state<=Start;
        end
; ^+ W' j$ f+ L/ C4 |4 l      end
  z3 P% a3 r4 K6 S, I6 z: |      Stop:
7 {) M  L7 h. ~      begin
         if(A)
) D: n- Z2 t( n3 W0 {         begin
            state<=Clear;
2 D2 \3 O- ]  C+ g8 z            K2<=1;
7 ~: U. o5 C2 o' g. c         end
         else
         begin
            state<=Stop;
            K2<=0;
            K1<=0;
         end
       end
$ V3 s8 s: i% q  o- i: |) V       Clear:
8 p  W$ ~: l  }  O1 K       begin
9 n9 c3 V+ P+ E$ Z2 N0 H: [: I5 R          if(!A)
          begin
0 Z# d& K: {5 Q0 I             state<=Idle;
2 ?/ n# F( e+ `& v1 `7 T2 f% ], |             K2<=0;
             K1<=1;
          end
; p0 w+ X6 U4 q/ `- q; i7 m5 _          else
          begin
             state<=Clear;
" Q: [7 T6 c' @  {7 q2 n' x             K2<=0;
             K1<=0;  
  G6 P, ~+ F& d2 H          end
       end
. z1 `& C! m  X; \4 p; @" ]       default:
       begin
          state<=Idle;
          K2<=0;
$ C* J! F2 G0 _+ K1 |8 @          K1<=0;
       end
& R+ r2 f- {; _   endcase  
5 g0 W$ q; |  ~0 U+ h+ U   end
  C! W7 Q0 O8 iend
endmodule
1 h. r" Y' x; A2 E& a0 ?+ g( B
1 P! m6 D* d4 G8 r; F2 R2.源代码如下能生成状态转移图
module fsm(
  |, t2 \. ^, A/ L* C* e
clk,

reset,
  w4 y0 w5 x0 s! [; `9 B7 K& R- h
# g( e/ @: O$ |1 w" B- _A,
- o* ^# n% ]; \( Z" y) Q; L" Q
K1,
/ C9 o7 H. {' u* H6 {
K2
            );
% P+ N* `$ c. I) Q# [# p2 h

5 @  Z" E4 n9 w9 _input clk,reset,A;
output K1,K2;

reg K1,K2;
reg [1:0] state;

* Z6 T% a: l- h; H' @. W
& f& s$ c' u$ E; A4 Pparameter  Idle = 2'b00,

   Start= 2'b01,

   Stop = 2'b10,

3 ?  a: q4 }7 H6 _/ V; ~   Clear= 2'b11;
' m' v3 H5 C( L2 A5 t$ |
   
) Q! I1 q  h% ^& P6 o( Jalways @(posedge clk)
4 l* G" w' i' d* W- u4 _begin
   if(!reset)
& ~5 ~6 s6 L4 w  E" z( j   begin
1 R3 u& P* i% I; |- A0 v      state<=Idle;
      K2<=0;
+ o$ t9 M3 s  u0 z1 f, {1 h  I2 V      K1<=0;
   end
, i% r7 i) X, c* n# G4 V6 a   else
   begin
# P3 j- T1 F  \: Z% r/ a4 e9 P2 Z" E      case(state)
      Idle:
, M! i, b! ^: H1 O      begin
( x# j# e9 _' w5 [/ U& Y' J         if(A)
& p  q% N6 B3 q         begin
" `& P" _3 ?8 H- A7 G/ F            state<=Start;
            K1<=0;
% I/ W9 P; b7 |" ]         end
+ I% f  t5 X; U6 W: |6 v! F; j         else
         begin
8 o& g* P  u2 M1 ?; m, N            state<=Idle;
4 Q/ `  N/ E8 j9 @% Y            K2<=0;
- |5 C7 v7 A3 f! m6 V/ @            K1<=0;
         end
; M/ _' X  e5 X4 p      end
      Start:
& k9 V% }1 r* Z* }; M; c      begin
        if(!A)
        begin
9 S4 I  Y5 t8 C           state<=Stop;
: l; m) A# R% }* s( \: A& y        end
        else
        begin
           state<=Start;
        end
      end
      Stop:
" s% K0 i' e, H& q8 y      begin
         if(A)
         begin
2 X" n0 i6 ?0 w" S. q            state<=Clear;
            K2<=1;
         end
1 s2 }. q( R/ L7 l4 v1 C& @9 _         else
         begin
2 e2 \. x7 ^  y. ~/ y            state<=Stop;
. W8 {" }. y" Z- t- y            K2<=0;
) d- R7 e: Z! N! b5 Z. w. d( K$ g            K1<=0;
/ F' x# O+ S5 ^; g& ^* F; Q/ X         end
       end
: x9 Q0 P0 m: C8 G) Y0 i/ N/ Y       Clear:
       begin
          if(!A)
& N* q1 D; j- I7 R3 N( J          begin
# A, B- ~! A" H7 Y             state<=Idle;
             K2<=0;
             K1<=1;
9 l! `8 b% n) U/ C- P          end
! C  E5 S4 }5 r! V9 R7 N          else
7 h, i% o) |' }$ |4 P5 j          begin
             state<=Clear;
" P6 @5 d5 N7 |+ p/ t             K2<=0;
0 g( T- C& M: M) L% _  ?$ G             K1<=0;  
          end
) z" ^  z+ A  g+ Z8 T- k/ Q3 U% K       end
       default:
5 T" l: J! x$ x4 m. S* L5 `       begin
* H6 j4 u6 Y/ J! R/ M0 _          state<=Idle;
          K2<=0;
, l0 l7 K7 ]; j- R          K1<=0;
7 U. F- b/ y# S) k" z       end
' U( x: u; D4 p( z, Z; K   endcase  
   end
9 g+ A0 Z3 n$ q. a" oend
endmodule

请问各位大神这是什么原因