状态机问题

唐顺之

1.源代码如下不能生成状态转移图
; J9 J( N" ?' S; h) Smodule fsm(

: z, u8 L+ M* x$ [clk,
( W: J# m. k3 T" q) e3 f
& H& C6 ^7 Z: Z! }9 Z  ureset,

A,
4 n: l0 y1 \' R3 Q& g$ L; \
4 [4 N9 z' f4 `+ c( S7 ~K1,

  j( i) L- M3 HK2,
) N. ~5 D9 g9 m+ Z  g
state
! s" ]" J. x( p( o, F$ _3 W  j            );
8 L2 _+ z& I2 |; I8 X, ?
input clk,reset,A;
output K1,K2;
0 n' {) O( g- p" x8 x( a* z7 g6 Q//output[1:0] state;
reg K1,K2;
reg [1:0] state;
- x7 H0 x+ [# j6 r7 c
0 r& |% T1 x2 k1 g, jparameter  Idle = 2'b00,

   Start= 2'b01,
4 z" s8 O6 t! u' O" q, k
   Stop = 2'b10,

5 _  _  n# g7 ^+ ~; q) O   Clear= 2'b11;
+ Z+ B6 J1 r! T% Y( \- ?
   
always @(posedge clk)
begin
* |4 l' M5 R  p; P% ~   if(!reset)
% m8 E8 x# d) s" c+ X   begin
  ]4 k' C2 Y+ Q# Z% ^      state<=Idle;
1 r! W9 E) V* x8 k+ H      K2<=0;
8 T9 e- k) A0 i- k# [/ H- F      K1<=0;
   end
   else
9 L0 M; _3 i, ]' _   begin
: g! V* F" m! L* S, W, p      case(state)
! V9 F: f7 f9 E7 n      Idle:
3 y8 B2 b5 r8 k& |' g2 [      begin
: r, R  r& M6 A. R) U2 @         if(A)
         begin
: r; h" t  ?' ^1 S            state<=Start;
/ l$ \8 k& f: K' K            K1<=0;
         end
         else
         begin
            state<=Idle;
            K2<=0;
, x- g3 y% E+ z9 b/ M            K1<=0;
         end
      end
2 J2 E) i0 t" o7 K* Y; D3 _, V: ]      Start:
      begin
& B- A2 x: ]5 k) d1 }- |        if(!A)
        begin
           state<=Stop;
- j, i' k2 `8 o9 l) S$ |) R' Z( \0 X- M1 ~        end
        else
        begin
$ \$ s+ d2 H3 S: n; L           state<=Start;
        end
      end
      Stop:
      begin
1 O% z) E8 V5 U9 k( O/ B1 m         if(A)
6 j4 k0 I9 }8 p8 ?: Q. I1 O         begin
9 r2 h* ?  L. d4 B            state<=Clear;
4 A# L. I# I5 o4 y1 m            K2<=1;
         end
         else
- E" }& F6 t$ H         begin
            state<=Stop;
% ?, y& d! m, s4 B' H9 i& y            K2<=0;
            K1<=0;
         end
       end
' \; Y9 h! C- m       Clear:
& ], `& G8 T2 N3 f' S9 P2 y, F. Q       begin
          if(!A)
          begin
             state<=Idle;
1 B# ?$ r. R* ]' c' R) {. _             K2<=0;
6 t8 O0 Z, Z5 @2 N: e  Z- @             K1<=1;
3 u) r9 [8 M' r! g  s          end
# g3 h& D$ v6 l6 G, e' G4 n          else
          begin
& w1 M/ f0 l) a$ k  p4 J+ Y             state<=Clear;
             K2<=0;
- ?8 J: r0 K0 U, G! ?: d. a0 R             K1<=0;  
- @1 X/ h4 B7 A$ I) t! ~6 p          end
       end
       default:
       begin
- A/ w* O. i  y0 ^( J          state<=Idle;
$ B* Y- F. ]5 ]6 F, U  b9 L          K2<=0;
          K1<=0;
5 h6 F* w& N2 u0 g       end
  S; {* v1 L) R' |1 w4 ?/ o   endcase  
& f& x& F% s* u5 P. u) I   end
end
6 H( K1 Y9 g; P: Q0 vendmodule

2.源代码如下能生成状态转移图
% H. k- w' i% a2 Fmodule fsm(
- U+ o$ j9 K+ a0 m4 m$ O% Z
clk,

- Y* B6 z# L7 q' k% J) \. y, Vreset,
& T5 Z7 e  Y! q  w, t% l5 d
# u. e+ ]3 Q& j0 U9 UA,

K1,
* Q2 ]! j1 A1 C
- b3 L+ `- j' V/ `" |K2
            );
7 |! R) g5 L' `0 w: A) w3 m, }
% O1 n6 z& S3 J/ E8 k4 L+ Q
9 z: O$ z0 q; a' L* w& dinput clk,reset,A;
output K1,K2;

reg K1,K2;
reg [1:0] state;
2 l& m: B0 X/ e4 P( F
$ T1 |) N: T: S. D5 K2 [
parameter  Idle = 2'b00,
8 ?: j7 u; Q; l" `
   Start= 2'b01,
( F5 V# r& w4 s) V, {0 \3 n( f8 w* Q
   Stop = 2'b10,
$ t2 T+ P3 k6 b9 l% k' _  d2 f
   Clear= 2'b11;
# @9 @/ |. p! n( ?3 ~9 S
* m% H$ b( G8 H5 ~; y, }   
; ?8 c- B8 n& f2 x) g! balways @(posedge clk)
5 ^* Y# h; u" z9 H: ^" qbegin
( E& ^# M( ?6 ~  h+ x   if(!reset)
   begin
      state<=Idle;
  U! F0 o+ T1 b9 l      K2<=0;
      K1<=0;
: F  ~8 R, T% h   end
, I* Q% |- {6 l  k" G   else
4 ~0 K6 H' B! v# N( x/ D  t- x   begin
      case(state)
      Idle:
/ S) s3 p1 P8 L& K      begin
0 V, _% q, P; _$ o8 L# D         if(A)
         begin
            state<=Start;
) J- |! o# b( y            K1<=0;
1 u7 R6 D" I0 m8 m         end
. q, b! S/ s+ _" h& P         else
         begin
$ O7 j$ G* e# w0 V: Y! {            state<=Idle;
* t& ?% E5 E5 p' \% O, t3 G/ h            K2<=0;
! y8 ^# C, P9 f, S; o5 B            K1<=0;
         end
" [( c7 n7 m, N0 I0 Q% }6 N! g      end
      Start:
      begin
3 ^9 }; a) B# `$ Q+ F. _! |7 }+ X        if(!A)
        begin
           state<=Stop;
        end
        else
        begin
           state<=Start;
        end
      end
  u- A; v6 F: w; C5 L      Stop:
/ f- f7 {) L1 P# n" Z* f0 k      begin
         if(A)
         begin
9 J7 J5 D8 n  @4 i1 {5 F! A            state<=Clear;
            K2<=1;
& t% s$ I' ~$ _9 F; E0 m3 y% J         end
( Q; b2 r( e( ]* s         else
         begin
            state<=Stop;
7 ^2 a5 h. ^6 P" c" V1 _% }            K2<=0;
            K1<=0;
         end
  z* h$ x3 r# k9 S$ S3 |% m       end
0 ~+ Z# e6 P- O; j5 U8 Q( s       Clear:
% a- ?; D, z# h1 @- e6 J       begin
! [0 r& g1 X. [) h+ c          if(!A)
% u/ x2 V0 B5 \6 S# d9 i' H9 `          begin
8 q3 v& B+ |9 F. U8 W             state<=Idle;
             K2<=0;
. F. I2 h$ l1 {+ J* ~  z' m             K1<=1;
          end
+ N; l- k" [7 D. e" ^3 Y* d' U) p1 |          else
          begin
9 j! I! E$ y0 w% ~) W             state<=Clear;
             K2<=0;
             K1<=0;  
          end
       end
       default:
, ?8 L1 @- ~. d       begin
) X* p+ O4 {* J/ l: T          state<=Idle;
/ _) g2 g+ Y6 p1 ?3 J. q          K2<=0;
          K1<=0;
       end
3 m+ S) Z6 K3 W. d7 j) T, j1 }   endcase  
* h5 _) y: o% e0 [2 a& W3 \# ^   end
- z' p0 F; Q$ p; T4 Tend
endmodule
9 u; P+ Q# o+ O0 r$ h  }2 w  ]6 I: f
请问各位大神这是什么原因