状态机问题

唐顺之

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

2 e: T. g% ~) M! _clk,

" R! ~9 Y% W% h/ \3 l) w2 Nreset,
6 @; x, F, V- N  T: p/ Z, G8 z: g
A,
' l0 D3 S: o4 H7 b! f& {3 J. F+ c3 V
K1,
8 i" W7 ~6 N8 y& \6 D4 B7 D- m. W
K2,

+ J8 G$ V9 @' w( w# zstate
            );

input clk,reset,A;
output K1,K2;
//output[1:0] state;
reg K1,K2;
: C7 x& m) m, |2 Mreg [1:0] state;

, ^$ H* l0 i* J8 Qparameter  Idle = 2'b00,

   Start= 2'b01,
8 T  J9 q6 f3 m
5 K7 o( y. r- O8 d! \: d) }   Stop = 2'b10,

- q) y" ]/ v/ q. J   Clear= 2'b11;

. D, W' L; }0 x2 B8 q# m   
always @(posedge clk)
begin
   if(!reset)
& x0 D+ Z$ y6 l; b   begin
4 m# m9 c, y; M  p. p      state<=Idle;
* V1 e% c# g6 a2 t! f% K      K2<=0;
      K1<=0;
   end
   else
   begin
      case(state)
. @. O! ~8 s( C, L      Idle:
      begin
" o$ p& g2 z: q5 ?         if(A)
3 I2 z) R, s; \         begin
; r9 I8 _4 k8 E5 f            state<=Start;
            K1<=0;
         end
0 _3 J+ `3 P6 Z/ U2 ?! R* G         else
         begin
; W3 o9 v# |, O8 P8 x8 t2 g            state<=Idle;
            K2<=0;
            K1<=0;
         end
% j, m# `  w) h# l$ s      end
      Start:
' G& Y. v/ O0 P* X& J  L0 q: ~      begin
- u' ~0 L) p3 E5 }- g        if(!A)
8 `- o/ w' w4 Z( a5 C& @, J        begin
$ y( U9 o0 L* f4 V' H           state<=Stop;
        end
1 y1 @% v( `( \% U: t  j! o- u        else
        begin
           state<=Start;
        end
3 R  Q6 A1 p3 E4 y* c# M- O      end
9 n: s1 s3 _1 Y  b3 p      Stop:
      begin
         if(A)
         begin
            state<=Clear;
            K2<=1;
( f7 i! U8 s2 q. Q* {, Y. U$ j         end
         else
         begin
2 u! s1 k7 `, A1 M! w            state<=Stop;
            K2<=0;
            K1<=0;
' L" H$ @/ G/ X$ p8 B         end
* F3 N& y+ ?6 d  C9 W       end
       Clear:
3 N( r) j3 Z6 ~+ S' j6 h$ c& D2 v  ^       begin
          if(!A)
2 [$ {. z8 h2 O          begin
             state<=Idle;
; v* [- v# l; o  d8 a3 m             K2<=0;
             K1<=1;
" b: l- }+ f4 j; U          end
          else
: D) T+ ~; q6 d. L4 f5 D0 l          begin
* x2 h0 D5 [. m7 N7 \# \             state<=Clear;
             K2<=0;
% J9 x' f, l5 L8 w7 ]             K1<=0;  
8 R; u3 k+ t% B1 v9 O  u8 p          end
       end
  j; m5 k* I; s3 p, S+ l  w       default:
       begin
          state<=Idle;
          K2<=0;
          K1<=0;
/ z6 g+ _; H) P- A' R       end
   endcase  
   end
end
) u- m4 O. F) H3 R/ uendmodule
5 g, S4 y6 m8 r" x$ a4 r* K4 ]& g8 a
3 Q: g  B* M7 b3 J$ Z6 n6 \2.源代码如下能生成状态转移图
4 p( D1 {! s! B( E  fmodule fsm(

3 U, P" @3 X' x/ Bclk,

8 t1 o5 [" I# n) I9 U" @! m: a% hreset,

4 N& ^- N' i! [% {5 X+ fA,

/ ?" e+ f6 V! S/ P0 k( SK1,

% q4 ]* e: _, d; k: b  PK2
  \0 Q. p, {8 z" w            );


8 H( Z/ n# S) d" ]$ M! `7 finput clk,reset,A;
1 S7 I* T) ~$ a0 Y0 ]# H) ]output K1,K2;
. z$ Y9 Q  q8 w, U) y2 ~
. s/ T+ V$ K" F/ ?* y( I: e3 Lreg K1,K2;
! y, Y4 j5 [) D9 Xreg [1:0] state;
: J5 d: I, c; \& c( v# u& z
0 W% v& v+ B1 c+ l' `1 n) k
$ f  N4 o) v1 M% lparameter  Idle = 2'b00,
; x- d# X" c' R* c8 m
- D8 R4 F% X7 d. v& s5 Y   Start= 2'b01,
" z9 C2 k. B0 d8 e& x- U+ g
1 m1 T" I; N3 A# J9 s, K% C   Stop = 2'b10,
+ Q* z+ [/ W) J3 C1 [: Y' _
8 N. F# C* n  p3 ]8 r- Z' D   Clear= 2'b11;

   
always @(posedge clk)
' p6 t5 j7 \5 W1 Rbegin
   if(!reset)
% Q/ `1 x4 }4 Q, W9 M& A" W   begin
8 T& w6 i: Z- Q: ?( B; |9 u      state<=Idle;
      K2<=0;
      K1<=0;
   end
* R* t  Z4 ]- ^0 C" m4 N   else
   begin
9 P: ~# w/ n( [- f8 P# b      case(state)
      Idle:
4 t- q; G, u/ X0 J  q4 e' f3 z, L      begin
: J6 v0 P6 r) Z) J         if(A)
         begin
            state<=Start;
            K1<=0;
         end
         else
7 S: G$ H5 d7 u) s0 y         begin
! ^, |4 o" |) W& l( @/ P' {            state<=Idle;
            K2<=0;
3 M0 h; x( {  T/ w            K1<=0;
: ^# C# u: A) w         end
- k$ i6 B. c+ `6 r; c& `6 m2 u$ D      end
      Start:
      begin
- o: O/ G0 }9 a/ g; G* T        if(!A)
        begin
% Y$ |7 R& k/ Z5 e           state<=Stop;
4 @0 `/ @3 s( K        end
# V& }- v, x  M( z- P" B1 G        else
        begin
           state<=Start;
7 ^; m9 k7 P# W6 z6 \4 i$ l+ `        end
      end
      Stop:
      begin
         if(A)
: f9 n, H& S6 K0 g1 h         begin
            state<=Clear;
            K2<=1;
& x5 z# Z$ ]0 T. O# u         end
( w9 d. Q6 _- M" n" i1 t: [         else
         begin
" I1 s, ?; b9 U; p1 ~* K            state<=Stop;
            K2<=0;
            K1<=0;
         end
" H( A- V% {# k, H2 ?1 v9 R       end
2 q7 v: L) r+ j3 T/ _" {4 n0 y       Clear:
+ d0 ^9 P& w; x! j  I/ C& {" J       begin
! r* @$ p" l! j* @6 I" P          if(!A)
8 A* G' d4 n- G) z; {& ~1 M* [          begin
             state<=Idle;
             K2<=0;
             K1<=1;
          end
          else
% a' Y4 `# g4 v  Z# ?          begin
             state<=Clear;
$ S$ D" ^8 L# @4 X7 S5 ~/ ?, y             K2<=0;
& x4 }4 \6 P/ N9 W/ h/ Q  B2 Q, {             K1<=0;  
          end
5 K7 i+ b' ?4 k3 t/ r       end
       default:
       begin
# v2 J" |, I: T& |3 p. J          state<=Idle;
; X' b4 m/ g4 V% g          K2<=0;
          K1<=0;
' B1 ~4 K1 ^7 ~9 N: o       end
   endcase  
" _! i' K: j: M- i+ c9 u8 h   end
' y) Q  I7 a2 P! f" zend
4 h- U1 i) _& \3 s  z# V0 J, q9 xendmodule
) `4 {% D$ B& Q% j
请问各位大神这是什么原因
0 [0 X, g4 }$ u' C% R# l