状态机问题

唐顺之

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

; e, D$ t9 Q/ ]" }5 l4 x* H) lclk,

- m; [; B; m6 y/ \/ Mreset,

7 t' z, e4 k' dA,

K1,

K2,

/ z& ]# K8 ?; \( [- p! ~6 bstate
            );
+ p' ~, s* ]) r/ ^3 k7 h
. L! ?' N- O' ]9 ?  linput clk,reset,A;
( m$ B" _+ y  ?" F$ \output K1,K2;
//output[1:0] state;
+ r# I3 r9 O7 U  q) ?reg K1,K2;
% b1 R( G9 V" h  U& G. vreg [1:0] state;
  D4 ~$ ]" C9 n; {2 O' e
5 e) a6 _9 E8 t. q& Q9 v% ~parameter  Idle = 2'b00,
2 N8 j$ J; r! A# A
2 N: h. p, O$ F0 o   Start= 2'b01,

3 W7 M) s# z0 D, }  b- j" r. [   Stop = 2'b10,
4 q6 H& A% h2 X6 F& s
   Clear= 2'b11;
/ w" b8 ^4 O9 t4 j! F9 E
# x1 _! H# y4 o  o6 [( d   
7 z: u; K+ m6 P, ralways @(posedge clk)
9 E& i5 U0 t6 d  d0 L! Ebegin
- `; R1 Q. }: E2 f5 Y- {- P# n   if(!reset)
   begin
. W' V" x5 |9 a0 L2 u: O      state<=Idle;
! k1 [( |5 C( j  [      K2<=0;
, S' V6 M9 ^# G      K1<=0;
0 {( ?  @% u3 [: T( P' @( d   end
- Y+ q7 q6 f- r+ Y& [: e6 n; b   else
   begin
2 v& b/ Z/ d: _! U. S$ h0 E# Q* Z      case(state)
      Idle:
      begin
9 H. X# F% g0 \6 X         if(A)
         begin
  U/ [, T/ d. v/ ?) k) u            state<=Start;
            K1<=0;
) M2 Y* c; K2 Q4 `         end
- S4 R) y9 h. U         else
8 O% w4 D5 x$ |2 F; F         begin
" `: X6 Y8 M2 b            state<=Idle;
  R- Q4 v$ {6 H  o" D' b8 {$ W4 I* C            K2<=0;
, T0 l/ P4 W2 ~9 E% g( O, R! d, Q5 W4 l            K1<=0;
& ~/ D  C9 o9 m- v" f, @1 `         end
      end
      Start:
' W5 A6 a# I2 ^      begin
        if(!A)
        begin
           state<=Stop;
        end
* ?& R( ^9 n# `' N) H        else
( |6 x. H! l2 a2 m1 P7 ^4 L        begin
- e  J; o- a) P# i4 e& {2 P+ J           state<=Start;
        end
      end
- @3 m& F' o7 ~4 b+ Y9 {% z      Stop:
      begin
         if(A)
         begin
            state<=Clear;
            K2<=1;
         end
         else
# K! Q5 S) j$ y; r6 e# o& t9 Z         begin
            state<=Stop;
" r  B  B! L* c; s8 o8 W            K2<=0;
            K1<=0;
! g# p! `0 b8 O" r2 x# S- w         end
0 \/ c3 W: z( h" P       end
% H/ O4 d" V- M' `/ X4 T       Clear:
       begin
          if(!A)
2 H  x; z9 j% r* j$ c) N          begin
             state<=Idle;
             K2<=0;
             K1<=1;
          end
" N" b5 e; a- ?          else
          begin
2 i* w# f. B* |             state<=Clear;
             K2<=0;
             K1<=0;  
$ z4 T3 F: h" n          end
/ J8 X# A7 C$ O4 d1 z& [       end
7 S+ l4 f6 J1 D       default:
5 P* C2 }: T) V% A" D       begin
          state<=Idle;
3 a# C- Y0 S5 G0 X1 \- p7 w* S          K2<=0;
) E6 N+ \' c" s          K1<=0;
+ u( Q/ m! E7 a- F) O% @       end
   endcase  
, c1 ^1 O) W3 i( |  d   end
end
endmodule
- E& }& N$ E3 x* G7 h/ S
2.源代码如下能生成状态转移图
module fsm(
2 H! a4 o* _  p4 N
clk,

" K# k3 G( |. }: [  _reset,

A,
9 l( G+ W. _9 ]8 n
2 b9 V( m* e$ n8 `8 nK1,
1 r3 R* f5 E0 n
; d( j& ~# b: s! R9 p" W, {7 zK2
) y- l( W, d: A, |2 f' e/ \3 Y7 T            );
1 j( {4 Z6 H+ |" K+ u. f/ u
/ x' O- d: k& V& D
input clk,reset,A;
3 @/ a9 _' q% n0 L2 T( routput K1,K2;

1 e  a" I& q7 u: r( g0 G. v- Creg K1,K2;
$ w" q; k) q7 y6 rreg [1:0] state;


4 R5 E, `. l9 U  M( vparameter  Idle = 2'b00,
7 ~2 N& l" b6 W- z4 h
$ B, L# ^8 b$ y4 y0 ~, q8 n   Start= 2'b01,

   Stop = 2'b10,

   Clear= 2'b11;
3 E: G  F% V# `. e
8 l( N; ]+ R) y3 a5 E. \   
always @(posedge clk)
" c7 u) N4 ~# h% I: w! jbegin
& F5 G3 H; ^2 f6 h( K   if(!reset)
) [$ y3 I. L4 f2 m. u   begin
      state<=Idle;
      K2<=0;
      K1<=0;
   end
. M& \! p+ l# m# M/ `3 |6 \  \   else
6 h8 S/ v+ \( f8 n   begin
      case(state)
      Idle:
# N: H" [0 A+ h$ l( `( z      begin
  r- g8 |8 j# a' U0 k; f. P         if(A)
         begin
" Z: q6 o: Z; U6 p5 z            state<=Start;
            K1<=0;
2 o) f: ^2 G8 m. Y7 Y- r6 I         end
2 f0 T4 v. z5 G# r8 U5 I0 B9 }         else
         begin
. \% d/ I# b4 F: P0 S            state<=Idle;
            K2<=0;
            K1<=0;
9 R( F. F( g, {  Y         end
      end
      Start:
( H* n) h* T+ j. d      begin
# S  H3 J1 e  h6 @' K- K& \. x        if(!A)
        begin
! C0 N7 `: J. h5 ]( F7 F+ i# K: \5 R& f- f           state<=Stop;
        end
# t+ H" g9 [+ a) ^4 i9 e& ?' E6 l. {8 x        else
        begin
" ?$ W* m+ g: z; j1 `9 x           state<=Start;
' M4 m3 t3 [; r$ G        end
4 T# O' ~! J2 j  K. {* H: H      end
      Stop:
      begin
1 m  O* x% q& Q( h/ Q         if(A)
         begin
            state<=Clear;
0 |) q. k5 a) g& K9 I( a            K2<=1;
         end
         else
         begin
; ^4 \9 W" {& N4 p7 r            state<=Stop;
% F3 A, q7 p6 Y            K2<=0;
            K1<=0;
8 W# K. T8 I1 ~3 Q! s3 P; p         end
4 k- @& a$ l- a" N# Y- ]: F& {( b       end
       Clear:
7 F" @( z! b" i( C# @) h8 l+ ~       begin
          if(!A)
  E  o0 ^' ^0 t3 {/ E          begin
             state<=Idle;
" k- e1 u( o% t" g7 I             K2<=0;
             K1<=1;
1 E! o2 F7 x: {          end
          else
          begin
  R( c9 }7 h9 {8 {  w' j/ N6 i9 n             state<=Clear;
             K2<=0;
             K1<=0;  
3 U' T/ m6 K4 Z8 W# z          end
- d" B( D" f! ]! ~+ j       end
' v9 }3 x$ Y; j4 c- z$ J& i       default:
8 Z5 W) `# v3 b! Y- i* o# I       begin
: M" s% r6 `  d# e+ Y+ P& E4 j          state<=Idle;
8 {. A: R3 U3 ?# n% w+ a. v3 v          K2<=0;
          K1<=0;
       end
   endcase  
   end
end
endmodule
0 w! ^6 N9 t) t2 O( _
请问各位大神这是什么原因