状态机问题

唐顺之

1.源代码如下不能生成状态转移图
module fsm(

' e  y  d, u' m! sclk,

$ |. n8 K! _0 o, h$ rreset,
8 W! B5 l! ?* G* i
+ v: n, _4 ?8 E6 v) IA,
% J8 ~0 }  Z( y
2 }7 @& R; M$ l( ?. ~  a6 |% Q5 DK1,

/ m9 ], o$ S' k0 `K2,

4 e5 L, X5 D3 U% V. L+ \2 k9 ustate
            );
" Q8 a3 v+ {8 u6 @! Q' k
# @- G) ~5 ^$ a# finput clk,reset,A;
$ _7 I( S. Y* y+ D( p' P( Goutput K1,K2;
6 E- w: q" Y0 i- `) K; t$ o//output[1:0] state;
reg K1,K2;
reg [1:0] state;
0 u) v; {6 x) T( p' t6 l
parameter  Idle = 2'b00,
% ]9 v( r* d/ j* W$ Q4 |
) w4 p9 V8 y( U# k0 X6 ^9 r' Z  y   Start= 2'b01,

) X* P# E" p1 G5 G" J; ]9 t% ]   Stop = 2'b10,
/ J7 [6 @+ j  p" q
   Clear= 2'b11;
6 j& U. W3 A; ]5 f6 q
   
$ O; d8 J# E. `# A7 I  ralways @(posedge clk)
+ D3 I, \! ?- K: y9 o* Tbegin
   if(!reset)
   begin
      state<=Idle;
7 P) `% S# X( {  Q4 v      K2<=0;
      K1<=0;
9 Z* I3 u: P5 d  H   end
   else
   begin
      case(state)
      Idle:
% @2 Y. E1 F' P6 ?; e5 f* v  \      begin
         if(A)
         begin
2 a) W7 @3 N  k3 }+ C9 m: T9 W            state<=Start;
) F. U, l3 Y3 D7 N* I* T) J* m) w            K1<=0;
         end
/ D2 n0 N3 ~, X) B; w         else
. j! i# J1 L8 ^         begin
            state<=Idle;
            K2<=0;
            K1<=0;
& G- c" n! r! ~( I& g, U         end
' c% P; C6 w- E      end
# S) O9 O7 l$ c      Start:
7 G/ e  d, H: k" U* Y      begin
        if(!A)
3 u: F  V# b2 ^7 n        begin
           state<=Stop;
+ l# C' ~0 M, g# T        end
4 K% \- h' r; H- D6 g: S        else
/ _( D" A2 u- o1 M* n        begin
( O, t( D$ g' @3 K2 g/ ?           state<=Start;
        end
& v3 ?5 t  m/ c$ r4 L# {& E2 n- h      end
      Stop:
5 k& `6 S; r" R( Y0 T      begin
3 X& {" O- x5 T- t* K* {. n         if(A)
         begin
            state<=Clear;
            K2<=1;
5 f( g4 m* g( N1 `1 B* K' b         end
  \: T. e) H0 q; ^# F         else
* {  m9 \7 q8 W$ M* i8 d         begin
            state<=Stop;
6 t7 x( D+ N9 D& o            K2<=0;
# y4 C# R) T: P+ I& z: H            K1<=0;
         end
5 Q& R* d2 u7 ~! G8 r       end
) Q; ~* {' D' `* l+ L. }       Clear:
! a% O, E. m5 V- i       begin
          if(!A)
, ?* @* V  H9 h          begin
2 D7 S* X& {+ T) f  m; d! D             state<=Idle;
             K2<=0;
             K1<=1;
          end
/ K) Z8 [1 o/ S0 W          else
          begin
             state<=Clear;
             K2<=0;
& M1 f) M3 s+ H# k             K1<=0;  
          end
' h3 K* d' X) h, R2 f& ~4 b( A       end
       default:
: M8 U& D/ B* u0 F9 S$ K1 \& }. `       begin
' w! S. ?, v4 a" g# V          state<=Idle;
          K2<=0;
9 \5 [! H/ @; r! m          K1<=0;
# k! p  y: k7 g3 _4 K- B! [       end
   endcase  
   end
end
endmodule
+ m! E* P+ q$ z: f+ h( ?) |( ^
1 O6 M8 F4 D: u6 n2.源代码如下能生成状态转移图
- ]9 h, k& H0 Zmodule fsm(

clk,
& W9 j' L: @( m" e" P8 K- C5 c/ d: Q
reset,
" x  c9 V1 C/ g4 M/ ~! b
A,
7 Z. u- J5 E4 O2 C
( s' J: e4 y( @% rK1,

, p: L7 c, ]; m& Q0 B" _# k# PK2
            );


input clk,reset,A;
output K1,K2;
" H3 b9 u, |0 b5 p' o( w
4 b! z' g* @! Creg K1,K2;
: X8 ^3 N3 t& {! v) I3 ?* w) _5 Rreg [1:0] state;


parameter  Idle = 2'b00,
1 a+ Z" ]) H* o& U; a; k. Q
   Start= 2'b01,
3 ~- i6 {) p$ ~
" P! p9 B( u; U. K   Stop = 2'b10,

   Clear= 2'b11;

( ^3 R2 r1 Q: q7 _   
always @(posedge clk)
begin
8 h4 g& ~- q1 F' I/ V* @   if(!reset)
8 j# V% t2 K' U# Z9 E; N! K0 i   begin
4 \& T' r4 w: w) F; {, H9 `6 m4 i' H0 T      state<=Idle;
      K2<=0;
      K1<=0;
   end
   else
   begin
      case(state)
      Idle:
$ Y3 |2 Z- G9 y& L$ u      begin
         if(A)
) Y5 ~; T# K' i6 d         begin
            state<=Start;
/ \$ u/ G4 ~3 i% w' @1 U$ I5 _2 n3 o            K1<=0;
         end
% Z. `9 ~( M) @0 l- _         else
         begin
3 Y! k# f- g; J% S, H            state<=Idle;
% w  z* R( v& G            K2<=0;
( I) Z4 }/ D4 V' c8 [            K1<=0;
         end
      end
8 V2 h. o2 }5 M( z! \) U# C1 H- s8 ~      Start:
, o' I9 g3 u. R; a+ @1 i3 q  A      begin
. C: S5 \5 v3 I, e3 H        if(!A)
        begin
           state<=Stop;
        end
        else
        begin
+ r! Z6 S+ T! V+ A# G8 W& _0 _           state<=Start;
; a0 H: u  F4 a* v7 \% Q        end
; e. M2 v* J! b+ k! q. T      end
% c7 W+ F! n8 {+ c      Stop:
      begin
7 g0 K! e# M" H( X' J6 D% L& t         if(A)
         begin
            state<=Clear;
            K2<=1;
         end
2 y( Y, E; F  b; p# d8 ]2 `         else
4 h( }$ q3 K6 s6 U& f, y6 x         begin
; u9 t) i" E/ Z            state<=Stop;
0 [* m9 r2 c8 J( b; W0 G            K2<=0;
            K1<=0;
# B. Z0 Y: |$ i         end
       end
) B% z/ ^' S# f0 s9 B3 q       Clear:
       begin
! c. z4 v6 E1 S0 p0 ~          if(!A)
          begin
9 f9 z$ V+ O0 X5 A+ {& J             state<=Idle;
1 C- M8 }+ k7 B+ t: z             K2<=0;
             K1<=1;
% R/ E3 l1 H  f6 r1 C0 o6 r          end
          else
  L  q( e# x3 J: k+ N8 |          begin
% x5 a: W) ?. B% N; y  K             state<=Clear;
* m) ^5 j6 J/ ~: X             K2<=0;
% P$ J& q, }+ j& u' o+ L             K1<=0;  
5 o: T) s* w! B5 I2 q. E& _          end
" A0 v" _- g/ q+ t* _) J% S       end
2 c9 o$ W$ M& {' D& P% B* g4 a% W       default:
       begin
          state<=Idle;
& M+ c7 Q( W7 {" ?          K2<=0;
8 J& ]+ T! r$ C- n1 |1 D# B          K1<=0;
       end
4 L2 d5 D6 Y  W+ M8 [5 S% |8 `( j) q6 r   endcase  
   end
' |0 N! q& z, R! yend
endmodule
+ C" `2 c; N3 c
请问各位大神这是什么原因
* C/ N/ h6 R2 e8 H( }