状态机问题

唐顺之

1.源代码如下不能生成状态转移图
' }, v8 t6 {+ {, P4 P/ K- q) amodule fsm(

clk,

1 d* ^& ?# q8 @* Oreset,
0 d* R9 b0 H6 A' r7 c5 e3 o) o
A,

. `, S6 a% ?- T# j& q$ ^5 NK1,

K2,
! c. M: \- [+ M% P
state
            );
' i5 i7 O5 @- l5 k
input clk,reset,A;
4 B  D1 B0 G! @/ ~: joutput K1,K2;
//output[1:0] state;
) p6 a/ l7 B( D# S9 d$ Q1 Sreg K1,K2;
% \9 T' w7 u" F5 S9 mreg [1:0] state;
& d" Q2 \9 {9 q
parameter  Idle = 2'b00,

   Start= 2'b01,

   Stop = 2'b10,

   Clear= 2'b11;

. A% m) a! q7 F! Y   
" p& Y( z3 u+ }) j" D% s7 \0 W: l- malways @(posedge clk)
begin
   if(!reset)
   begin
      state<=Idle;
* P# V, c- U7 f. e) r      K2<=0;
      K1<=0;
   end
   else
$ k. q7 \/ A! [6 t   begin
      case(state)
      Idle:
      begin
         if(A)
* {# D4 |! y7 _- s         begin
- o2 [& Y- p. a  @- {* I            state<=Start;
            K1<=0;
         end
         else
# t+ N; i& _3 [6 Z; X; L         begin
            state<=Idle;
( u" ?" Z( b  q) t+ o9 b4 A            K2<=0;
            K1<=0;
( g5 ~1 \5 f* v  t( c) Q         end
. \' T9 n( n9 o, S) R/ K" v      end
& b4 y' p1 _( X  l3 i4 r9 s      Start:
      begin
+ c  e. X+ b% R1 a2 d        if(!A)
        begin
           state<=Stop;
3 w$ o  \9 T* ^! A+ z0 ?0 H        end
6 i7 H8 n  U( D# [$ ~        else
        begin
           state<=Start;
1 e- r1 z; N+ M# z        end
; S* c. I% g5 a0 ?  {      end
      Stop:
      begin
         if(A)
         begin
            state<=Clear;
1 \6 y8 {& k3 p& D! u            K2<=1;
( m! \# B2 p. l$ Y( K: ^         end
  [! }' ]# ~: Q1 \5 j, C  r         else
         begin
: p9 ?2 V6 ?, I" ~  \            state<=Stop;
            K2<=0;
) O6 K$ N  ~2 N7 T9 o            K1<=0;
         end
       end
       Clear:
" {1 i( W$ B& l  i& \       begin
          if(!A)
          begin
             state<=Idle;
2 F, {) d+ V) N0 g             K2<=0;
- L5 s( z- S4 \4 ^9 l  A. S             K1<=1;
          end
; I1 z3 b, ]$ V9 M/ P8 ]0 M          else
2 H, J" v5 z/ w4 q          begin
             state<=Clear;
             K2<=0;
             K1<=0;  
1 u) B8 I  C. t1 v          end
       end
       default:
" M) h- x# k5 i# I       begin
2 j; {. C2 \7 G1 s: J          state<=Idle;
* u" w1 c5 I7 \# l3 f* i$ o. O          K2<=0;
          K1<=0;
5 I1 A3 J# a+ F. L7 _       end
   endcase  
   end
  v5 X' ]8 @" z: Z. nend
) X/ U. H2 U- cendmodule
1 n3 y9 E2 }2 f# I. S
2.源代码如下能生成状态转移图
module fsm(

clk,
9 z6 r9 f% O3 Q% p
3 T% o) G9 n+ t; [% G4 Dreset,

A,
" L( M# ?/ P9 y( K- t# k# k
K1,

$ C' p* W/ ?. _' [K2
            );
: w& p7 O* w6 g. V+ v
, F2 z7 C! D* y- I* i6 W. F# e
input clk,reset,A;
. o" A( G$ g' Q7 F  n9 O2 Goutput K1,K2;
9 ^2 [0 C+ q( P9 N0 u3 p
* w" c3 l8 R6 \% Rreg K1,K2;
5 {# P# j4 B7 W+ @' }reg [1:0] state;
# D3 K6 M6 _. u7 g5 u
/ P; e* s9 l+ F% g
parameter  Idle = 2'b00,
4 R- h7 A1 _% N( p$ l% V/ _
- [  H- d! _8 l   Start= 2'b01,
* J9 _& A  V( k7 f, O* I
   Stop = 2'b10,
  R9 e& t4 Q0 O
8 J& a4 o( p8 N$ Q% u% ~   Clear= 2'b11;

   
always @(posedge clk)
begin
   if(!reset)
5 Y' S) h) P3 S   begin
. ~% b6 ~( o/ U      state<=Idle;
) l8 B0 |9 s1 S2 ^      K2<=0;
      K1<=0;
   end
2 X9 Z& r# f/ m) J* P   else
   begin
, Q* `3 l$ W( l- w      case(state)
4 n9 Y0 T, {" Y# r: T- }% {      Idle:
- b* ^6 t+ F) v" ?" J0 j      begin
* {( ~& q! ]: W0 x         if(A)
) R7 V6 r  @+ q, }         begin
            state<=Start;
            K1<=0;
         end
; @3 V. r3 _, x: G* \         else
8 V2 u! g7 N; L         begin
            state<=Idle;
$ G7 B0 k3 ^1 k, j: G! B6 N            K2<=0;
* f' j4 A9 H6 B5 ]            K1<=0;
         end
      end
) Z6 U- r( T0 o, P3 e5 f. q      Start:
9 {1 Z3 y# T4 k: P      begin
, L8 K0 ^% b8 ~# P        if(!A)
9 B7 h- ~0 O3 `# b: D0 {% ?        begin
% i; `! {$ }1 t. h           state<=Stop;
9 q) s3 n, I4 T3 p$ p        end
        else
        begin
; W, D0 t" n7 `$ t           state<=Start;
7 W& l' o/ Y9 b4 b1 \        end
/ r# r7 ^" T" {: e& p      end
( X9 n2 D( T4 e1 W5 F: }      Stop:
      begin
         if(A)
         begin
3 E) _5 s8 a$ h% H            state<=Clear;
            K2<=1;
" j" g; d1 F9 a4 G& H         end
         else
8 J9 p. E# M1 K8 J         begin
            state<=Stop;
: ?+ |4 O2 @9 ^; k* d6 @            K2<=0;
8 ~# [" A2 h& [6 r' _' Z            K1<=0;
         end
       end
( I1 L  b/ w9 b' O- E2 U7 h2 X1 R' K       Clear:
1 s, [$ F1 L7 A0 j5 p       begin
) @/ E! h' H( q5 s, B1 w; p          if(!A)
0 @7 h, w$ b; m  m          begin
! K% Z. V  A) v             state<=Idle;
             K2<=0;
             K1<=1;
          end
+ q# _. V2 |4 i2 v! t          else
# e+ Y- Q: \* h7 ^9 K6 ]! q          begin
% F; f4 N0 L- n8 w" M( b             state<=Clear;
- x  q6 y/ s# E& r  G, \' r/ ?             K2<=0;
8 P8 c' Q2 |3 D. {3 d2 z             K1<=0;  
& y' Z/ ~. [) }0 C1 m          end
       end
       default:
       begin
          state<=Idle;
: I; Q- @: [" p8 e% P. e# Z          K2<=0;
          K1<=0;
       end
   endcase  
$ T3 b1 @4 F& c4 o. @4 @+ \   end
0 P+ o# d( r0 }end
endmodule
; |7 I) p6 P* M& r9 r- P) c/ K4 h
请问各位大神这是什么原因