状态机问题

唐顺之

1.源代码如下不能生成状态转移图
8 D  q7 e- \# e+ F$ Xmodule fsm(
1 h' ^0 b( l% I0 d) f
$ H, F$ `: \& O, W; h  Iclk,

reset,
1 C: x0 U* V# D& E! k: v
5 {, f6 i; j9 W8 F( Q4 aA,
( x3 t* r2 k' k; H! ?0 O
" `  g. i& v4 m2 GK1,
' X% N7 C& k6 |4 W+ U
K2,

: f0 F; ?# A( y' m3 c# U6 Rstate
# ^5 `7 ~$ r1 T" a7 e# a            );

input clk,reset,A;
output K1,K2;
//output[1:0] state;
reg K1,K2;
( F, c- H2 z# W  qreg [1:0] state;

parameter  Idle = 2'b00,
8 Q8 n/ k* Y% h2 j
   Start= 2'b01,

8 a: o# V( M( n* O7 w   Stop = 2'b10,

   Clear= 2'b11;
* z! t% K' Y  R: J# ~" D
   
( p0 L" @4 z, ^- N+ malways @(posedge clk)
* a- L! h% ?+ _  J$ }; S* d# m. |# |begin
   if(!reset)
- W$ v8 W, s2 e   begin
) g( G7 Z  u3 T% w0 z& i      state<=Idle;
      K2<=0;
* a; \  S4 r/ A      K1<=0;
  [* N6 @( K. V) }   end
   else
  s* k! \$ K5 G0 A7 Q   begin
      case(state)
# L2 N3 l' [+ ?4 P0 }  T/ F      Idle:
      begin
         if(A)
3 f4 h, b3 Y( ^5 E, |         begin
2 e2 o' d" J3 f* Z; E9 E7 u* P4 N            state<=Start;
1 O$ {( \! v& {" O% ?            K1<=0;
         end
6 }9 ^+ t# y% G: @, q! k& j         else
         begin
            state<=Idle;
            K2<=0;
            K1<=0;
2 {" b/ ?  m, ]* d+ l8 Y+ n         end
; @  a) T& o/ i0 d) X      end
      Start:
% _- }7 v- p( r+ O2 @6 C+ o      begin
! e& g/ |4 @5 S; {        if(!A)
        begin
           state<=Stop;
        end
5 A! d4 X( c+ g; ^; f" j; N7 o        else
        begin
           state<=Start;
        end
/ n5 P; y. i. j# E4 V0 F; y      end
      Stop:
      begin
9 C0 @$ c- v7 U) G5 e- ^* v5 ]         if(A)
         begin
            state<=Clear;
            K2<=1;
         end
         else
         begin
            state<=Stop;
            K2<=0;
            K1<=0;
6 J  v( F6 {+ q% Q, G! G0 ~# X         end
& I1 D- n  I0 K. P7 ^3 w( K4 o9 Z       end
       Clear:
       begin
- D! Y5 v( l1 J3 t1 ?0 ]1 a* v1 O2 ?          if(!A)
          begin
$ F* _) J+ E2 s& H$ c6 D% y" t# @             state<=Idle;
# q9 s9 B% j: q, G$ J             K2<=0;
             K1<=1;
6 u( i$ ^; s& K, s/ d- j          end
9 {, R4 ]3 r. S! S* Y          else
          begin
             state<=Clear;
- q6 \) y6 `6 l" g             K2<=0;
             K1<=0;  
* C! {4 X! Z2 ~( L6 n% A3 k          end
9 T5 Y* N) x) }& o, R- e2 R, A9 E       end
% l* W( K" @: r8 f) q0 H       default:
8 w$ g7 {* |$ H# e" F       begin
          state<=Idle;
          K2<=0;
! ?$ w% i. h8 j8 V          K1<=0;
       end
   endcase  
5 b) k' _. u+ ]. A0 }% W   end
+ {, D) i  a5 E7 S$ B. M. G! kend
endmodule

1 A) }2 e6 ^9 K* A+ R$ y2.源代码如下能生成状态转移图
module fsm(
* v: S5 }8 _% a: n0 i
clk,
" F, p# Q1 \; ?9 z
reset,
' O! }) a+ |% O
A,
) w0 i6 E: t8 V" W, N
' o9 h; A. M# J6 K9 E0 t* GK1,
1 M. o- M5 r. o! e- t* P
. [  y; S! ]8 S' T5 GK2
            );
8 B% Z( J2 U6 ?8 C1 O& b

input clk,reset,A;
output K1,K2;
! V+ ^4 f. S; f& d
reg K1,K2;
( H  t: `; [' i0 r& sreg [1:0] state;
9 I3 [: O( ?4 J( H, ?
: a+ ]# ^8 I+ q% r
5 G8 y+ C/ n) q2 Vparameter  Idle = 2'b00,

1 k' c' T2 \: W, }  ^$ ?* [   Start= 2'b01,
" Q6 A% ~8 @! G5 m; Z# p2 E
   Stop = 2'b10,

, @! V% L, q  a1 U9 s   Clear= 2'b11;

, c1 K/ L. S2 U   
" a  \3 V% @$ w3 G  ]7 |always @(posedge clk)
# p9 ^: i# U% a* M4 Q4 ?5 h7 [7 _begin
   if(!reset)
   begin
      state<=Idle;
      K2<=0;
      K1<=0;
   end
   else
   begin
+ F" P' W8 j) S4 A/ F: {( \* L! B/ E      case(state)
4 R# `5 {1 Q" _0 A, E* G3 P5 U+ L8 t      Idle:
/ y! i: y% S+ L  d! f      begin
         if(A)
         begin
            state<=Start;
* @5 N0 c& J5 L1 ^( _            K1<=0;
         end
/ g$ {, E! o8 t- V- h) M+ J         else
1 p1 R# b; c: f- y% }         begin
" P0 P' h- h4 n, |. D            state<=Idle;
; s" ^4 o  @2 w( U" V            K2<=0;
" s2 r, }  F) @7 D$ K0 @            K1<=0;
* G- T6 e5 G. }& {$ o+ K8 b         end
      end
- V, K) w" x4 y& b4 y      Start:
9 m) w1 Q' }7 Q3 C8 Z3 \      begin
! E$ t: B8 b( ^5 p' o        if(!A)
        begin
           state<=Stop;
        end
) ^2 L6 C& k  i5 n        else
        begin
2 v/ s; i1 B4 j) c           state<=Start;
% ]7 d4 U2 u7 y8 Z! ]        end
      end
      Stop:
      begin
         if(A)
/ ^* U$ W0 D4 ^4 _         begin
            state<=Clear;
( }+ N7 \' K/ S- m            K2<=1;
% s) F3 t2 R' ^& C% z1 q         end
3 I# |* I+ @4 {" r* K. n6 o. ^         else
         begin
            state<=Stop;
            K2<=0;
            K1<=0;
* H, Y( e3 |. k         end
       end
; j7 L* y+ x  H6 H$ B8 y       Clear:
* B) ?( Y5 D# p6 W9 e       begin
! ~0 N' H" ]* v$ Y. z1 S( @          if(!A)
          begin
             state<=Idle;
4 s* q, j! }$ E) }* I             K2<=0;
             K1<=1;
, Z* p" w0 u# u0 _1 _3 J          end
          else
          begin
- l7 b9 U7 m) T( K; r' T6 u             state<=Clear;
& V: }% T4 H/ Z  l" J4 D             K2<=0;
             K1<=0;  
9 E1 C- D' e6 _, e) j+ n          end
       end
% N1 M# N# c4 X6 X; D8 t2 P       default:
6 I( k2 i1 h( ~* M: {       begin
: s) z  ^4 i0 j0 M          state<=Idle;
          K2<=0;
          K1<=0;
       end
   endcase  
9 }+ Q7 Q% b/ z- |6 z! J   end
2 @6 K) R8 e* F. L7 }2 }( uend
endmodule
0 c6 t  t7 K- z+ n6 c
请问各位大神这是什么原因
+ r) y& m* v# y7 V& g