状态机问题

唐顺之

1.源代码如下不能生成状态转移图
- d9 @) S+ S1 Ymodule fsm(

clk,

2 t- d* V% a, Q6 ^! Jreset,
' v  Y% k5 P9 ^6 D& Q8 b: D+ h5 L  u" t
0 v1 {5 N+ j. f4 F1 M- r. f% T+ J1 x3 T; W0 NA,
1 H% ^+ \# O+ n5 L8 Y: `' e
0 y9 H$ j( v' d- L9 f0 O4 sK1,
6 ]+ P. F$ J: w. ^3 \8 g
! Z" g6 I- R- |. rK2,
2 }* K1 u: ]5 U9 N% M+ Z- T0 e
state
            );

* p! d) U7 K* S/ A& ninput clk,reset,A;
! z1 N0 I+ [. eoutput K1,K2;
  |8 H1 u4 F+ \6 M5 s% N//output[1:0] state;
/ v1 v# U9 K6 u% ^: {2 o$ ^reg K1,K2;
; A. L0 o. w* q& S2 K5 N4 f% rreg [1:0] state;
7 N; G5 X4 [1 R4 V9 E, s
8 g0 D/ }5 C; g7 j% ]9 Pparameter  Idle = 2'b00,
0 ^9 d! j; }# x& \) J
   Start= 2'b01,
) U* H+ d- s& A9 f! e1 K% w/ D
2 O6 r: b* W- ?& p  J. @8 t2 w   Stop = 2'b10,

6 c4 o! h1 Z) t   Clear= 2'b11;

   
always @(posedge clk)
! e1 l1 e9 g3 j" w8 q' S- Ubegin
   if(!reset)
% V8 a) M( A; z( y2 [* o- ]3 I   begin
8 E; m+ `7 Z! i6 a5 f5 I      state<=Idle;
      K2<=0;
" _4 M: }& A2 k& ~5 _1 }      K1<=0;
) q# o# T, v( T7 I- l8 f3 [   end
$ X7 G( x" _( Z- p/ {4 o6 n5 T" _6 `   else
5 e( |/ W$ ]# ]   begin
      case(state)
* ]7 K' U  C: h7 g) e+ M& j      Idle:
: w. i+ ?5 q$ w1 l) R1 w4 M      begin
" S' m$ c* e  O4 K         if(A)
         begin
3 @7 z3 b' O0 m& S" z$ b            state<=Start;
            K1<=0;
% z+ ~. I4 x- v; d; F) F8 {         end
         else
( d( f& T9 p  W! L" U         begin
            state<=Idle;
            K2<=0;
7 {  ]4 e) u/ W" B            K1<=0;
1 P! }' B3 [7 u" i         end
      end
      Start:
      begin
        if(!A)
        begin
! e8 L- ~# p  }! W" o: |7 \           state<=Stop;
) s( T! o0 Y4 s4 j        end
        else
        begin
0 m3 y+ T" q% `+ `6 [. i           state<=Start;
        end
7 r8 N. }# ?6 @4 m8 k: j7 }      end
: X& U/ ^+ D/ p# ~      Stop:
      begin
         if(A)
) E5 N* a* x) i% x         begin
; F5 e% g. {/ c) G" u            state<=Clear;
            K2<=1;
) N( s5 L; c" O         end
         else
" Q9 f) E& ~+ v3 j! d: a         begin
            state<=Stop;
            K2<=0;
            K1<=0;
% Q" |; g( e+ d  D         end
       end
/ g6 S0 p! g6 g) z7 a% `8 E       Clear:
9 T5 S* L7 n- }, d9 C5 D  u       begin
          if(!A)
          begin
1 \6 P* W; N) I5 P             state<=Idle;
             K2<=0;
! A8 r5 @; A3 B$ \* E+ B1 t" B9 _4 n             K1<=1;
1 v2 g' `; s' b% ]/ V3 j! z          end
/ n. @& K  W4 W  @* A          else
          begin
             state<=Clear;
% C) F3 @' ~- x! H' n- i# T             K2<=0;
: G% \2 H+ Y+ n, k8 e/ x- @5 C/ u             K1<=0;  
          end
       end
       default:
, T/ H* N2 k) S# S" G- h       begin
          state<=Idle;
; D7 Y) o: u: }) r$ W# C7 o          K2<=0;
2 }3 N' a; t- w. _6 j2 p          K1<=0;
  m6 q, J) l/ `+ w3 I       end
2 q6 S: V) R, r9 R0 I   endcase  
0 U' }5 e' Y5 i4 X7 Z3 a   end
! M/ I6 T# p; F2 }end
& M3 ^/ ?6 R4 d# |9 Oendmodule

2.源代码如下能生成状态转移图
% }1 {1 Z  k8 Y7 Z: `; Tmodule fsm(

! m+ ]- V& V/ q8 b6 \3 O7 fclk,
8 |2 ]" D5 G4 j: h" }
reset,
1 O6 C3 y9 B; E
A,
" k. |( H# P6 W; s: t
K1,

( _" D9 F5 l- B& o) x1 _( X' ZK2
. c1 t' a3 T% i+ Y1 e) P) Q7 U% p: J            );
( t5 ?. T/ a& O6 s0 ^: a3 [7 K
: U0 L3 H  t" i% S3 U- F
: Z0 `6 o1 ?) F: Q) @input clk,reset,A;
output K1,K2;

reg K1,K2;
4 ]: U! g: {( Freg [1:0] state;


  T( e1 n7 }4 pparameter  Idle = 2'b00,
" J; x5 B! K; D+ a
   Start= 2'b01,

7 n4 |1 H* r; J   Stop = 2'b10,

4 \9 \1 G& ~" G; N$ [5 R  \0 n- [   Clear= 2'b11;

   
always @(posedge clk)
  {9 \. N0 ~6 t4 nbegin
   if(!reset)
   begin
- ^1 ^2 g) ^2 o' Z5 W2 {: f; o      state<=Idle;
% o: {) I4 x; M. Z6 V1 V) e3 |      K2<=0;
      K1<=0;
   end
   else
   begin
0 ]$ v* f$ Y2 V      case(state)
      Idle:
/ K: S6 f7 A6 b" i/ `      begin
% B& u) Q7 y  L: p( j. p# j6 W         if(A)
         begin
3 N( \+ e6 U/ B( r# i            state<=Start;
" N- B) f" c) x            K1<=0;
         end
. q+ S/ \/ y8 J% O         else
         begin
            state<=Idle;
            K2<=0;
) Z- F2 g- V" o: f7 X! |/ T7 \6 M            K1<=0;
  V  A2 _. K4 V4 G& Q1 D         end
      end
' ^$ i! X  |5 b4 v+ q3 z, R% Z      Start:
      begin
3 H" o3 u$ R( \        if(!A)
3 x( @8 j, S( q! s% K1 x        begin
           state<=Stop;
        end
        else
        begin
% V/ q& c8 C& w, q% `           state<=Start;
' ]6 l/ D" p! @# Q        end
      end
" V2 Q1 X) b4 l: E: X/ u' s      Stop:
& e2 w7 Y! r. m/ d/ f# }9 {+ X7 c; T      begin
         if(A)
         begin
            state<=Clear;
            K2<=1;
         end
         else
* A5 }- G2 r. E4 ^         begin
- b4 O. N6 Q) _1 G            state<=Stop;
3 C4 \4 I3 O" z+ U0 w3 E& o( a            K2<=0;
3 A* I1 E7 R$ t4 H1 m6 V. K* K            K1<=0;
# k; n8 v* C# J/ z( Z         end
       end
, [; p5 b9 O. e# q! f: V       Clear:
       begin
8 C! |9 ]; D$ F$ k9 p  B# A2 t) F          if(!A)
          begin
. e! q& o: n4 r* H* Y1 G  c$ ^: c             state<=Idle;
             K2<=0;
             K1<=1;
          end
& h0 T& h' G( j7 G( b, l6 C          else
          begin
             state<=Clear;
7 d2 d' f, l2 C" B$ \             K2<=0;
" H1 A5 s' ?8 i) Y0 p# W             K1<=0;  
& r: X! a* K# A          end
       end
  [, z  N% ^1 d6 l, @       default:
$ z$ k/ z; k+ B  ^       begin
6 f" r; y% B/ v) ^8 ^          state<=Idle;
          K2<=0;
          K1<=0;
% X* @4 k. W+ H       end
   endcase  
# h7 Q) {2 B0 H2 C   end
end
: {$ l  V! X( Y5 ]$ {" kendmodule

/ n2 y: v7 n4 E8 Y: R请问各位大神这是什么原因
6 h  e" r1 d2 a1 a