状态机问题

唐顺之

1.源代码如下不能生成状态转移图
4 y5 ^3 n, ~. t5 [' o( Lmodule fsm(
) D) L$ C$ I$ G1 l) z! N: {) m
) A1 U. C, j, y; p% M9 Sclk,

% L0 l' K0 M1 b& _$ nreset,
  H& z/ [: o- t
A,
& s; U& C/ e9 c* b% F( ]+ D! O
- D* B" _# t) K0 ^) cK1,

K2,
' n7 n+ R1 T6 Z+ [
state
            );
: X& F' \- M4 S5 K6 `
1 L6 V2 E8 V; b5 R3 Jinput clk,reset,A;
% z  v8 T6 y9 B8 n+ E/ N3 youtput K1,K2;
+ b1 A# |/ Q7 t3 |1 [& |; J//output[1:0] state;
- ?5 j" }+ e( ?, O, ureg K1,K2;
% n( Y$ d& N7 ereg [1:0] state;
* C2 Z, C! w; d+ H& p0 [; a" H
parameter  Idle = 2'b00,

4 {& d+ o2 F# r+ Z9 H; a4 c$ _  R   Start= 2'b01,
$ E# a/ C6 o- B8 ^, [
   Stop = 2'b10,

   Clear= 2'b11;
/ |5 d* z' U- q3 W+ A
7 l' X. [5 |/ S0 C! J   
always @(posedge clk)
6 N( z6 v+ M# z! gbegin
   if(!reset)
0 t% I/ o' ?9 R* E" y   begin
      state<=Idle;
      K2<=0;
      K1<=0;
   end
   else
   begin
; G! }6 P7 C# @# M- d      case(state)
      Idle:
3 ~" W- x3 S# u, B1 V+ E      begin
) {% _9 y4 X5 _7 `" h         if(A)
         begin
/ O4 H2 y" {( d  N/ r8 k8 |            state<=Start;
            K1<=0;
; L  A" Q8 S! ~3 v3 c7 ^& b         end
( i# m; q: e0 F9 K" U; d& {         else
( W. u1 e+ f9 E) o( ~/ r         begin
            state<=Idle;
# ~3 T5 \6 I# n7 n% y0 j0 ~            K2<=0;
            K1<=0;
         end
) I! h, J( M- H7 E, {8 ]/ ?      end
      Start:
      begin
        if(!A)
        begin
           state<=Stop;
        end
6 ~# K! u1 A6 N$ X        else
* U1 I$ _8 a6 C9 K2 i" b$ R        begin
           state<=Start;
3 o% O# o. z3 q3 O/ ~4 _0 Z        end
0 o# s1 q( K6 i* t, t7 p      end
4 N. g6 ]+ t* O: Z9 Y      Stop:
, `7 _; z( a# w( i8 }      begin
         if(A)
+ D0 Z1 z. S6 P8 C         begin
+ Q+ L* O4 |8 \8 ?# V; s# X5 q            state<=Clear;
$ [5 v6 t4 H9 _            K2<=1;
9 w1 K) D" `6 K; M0 a" _7 E         end
         else
         begin
            state<=Stop;
            K2<=0;
            K1<=0;
9 o  y! o+ ]! ]/ c         end
4 G+ h3 G& x$ ?6 t6 O       end
. `! o& T9 a% A  i1 `5 P( I       Clear:
) \5 A+ E5 l' @' Q5 `       begin
% i3 c2 U' y" N* ?* Y          if(!A)
5 Y+ X, l% y( |: z8 }/ @9 o, a          begin
7 `7 [9 P, w! i$ ?) U             state<=Idle;
, w- L+ R0 N" A  f  q             K2<=0;
             K1<=1;
          end
( v$ Y" R9 O$ m: u          else
: o' _% R/ Z* |% t5 n          begin
             state<=Clear;
             K2<=0;
) i7 x7 c" k) k6 X, P5 m             K1<=0;  
% _6 E6 U9 Z$ A. j          end
- z& |- `: r3 O* f6 P& {       end
2 r" |" J3 J6 V: P8 {       default:
       begin
          state<=Idle;
! j! H8 z# H5 \0 L          K2<=0;
! i2 r3 s7 k- h4 _( L          K1<=0;
4 U8 d# i; O9 a  B       end
   endcase  
   end
end
endmodule
; d6 Y3 t* `/ g) j
2.源代码如下能生成状态转移图
; {  g& \% O5 |* omodule fsm(

clk,
: J+ s4 M) D) `
reset,

A,
4 r6 h& a+ F; b9 E
/ \7 z/ ^1 }$ j2 u3 f8 nK1,

* ~$ x4 i- x* H' S! ]K2
            );


4 ]5 c% j- u" d( w' K; M! kinput clk,reset,A;
8 ]2 L% a" L# }) M. X) M+ Routput K1,K2;
2 G0 x3 b+ s8 }, C3 ^  N: I
reg K1,K2;
reg [1:0] state;


, F/ \5 |8 `4 U+ h/ v6 X* tparameter  Idle = 2'b00,
+ s( O' N4 Y2 p1 X. f  n+ ]
   Start= 2'b01,

/ `! n5 J9 y+ H0 t1 w7 z$ {% a* {- u  Q   Stop = 2'b10,
2 B: y1 L2 o; Q  V* K- @
$ W& K3 r! f8 s   Clear= 2'b11;
- I, J: x( B6 }" `+ R0 p1 i& Z
  u: i3 l, Z0 c% N   
8 s7 I7 q  v2 S6 p1 g, q2 [6 Salways @(posedge clk)
' @& J- T. m+ ^. M9 Sbegin
   if(!reset)
   begin
      state<=Idle;
      K2<=0;
* K, L! m' M" a9 }, @9 A      K1<=0;
% k: y7 ?" B( ~) x   end
9 v: g. F9 {& A) T1 p/ r7 r! B. Z   else
   begin
      case(state)
      Idle:
      begin
2 }# L9 ?1 A8 y% Y3 D: u4 y         if(A)
         begin
0 ~% F0 |7 n% i, a, \' t            state<=Start;
            K1<=0;
4 i+ k9 o0 \+ B4 F         end
         else
         begin
            state<=Idle;
! T: l) {$ M8 q, @! |- k' b1 Y            K2<=0;
            K1<=0;
& x( u1 {! S0 ]) H+ C" `1 X  B0 m         end
* U- j3 f. k+ Y1 E; u! \( b5 O9 ?      end
      Start:
% F5 ?/ x0 s6 M0 {3 Q% |) @, Y- o      begin
$ y- x: |  U$ w# S+ E3 Q3 s        if(!A)
        begin
7 V" }. O6 v( B7 @5 a           state<=Stop;
        end
        else
        begin
. V, C4 |! Y8 _4 f' z8 j$ i           state<=Start;
; q0 B; e+ }8 d5 l5 M        end
      end
& \: C0 S+ X3 y5 i1 h1 l; x! z      Stop:
      begin
         if(A)
( e7 C" H8 K: h! s4 I+ i& J' s         begin
: }- m9 W$ m6 v, j+ a. h            state<=Clear;
  Y: T% G* I0 c# m/ `- T1 P+ j            K2<=1;
         end
         else
         begin
5 w8 A0 q7 u& p            state<=Stop;
            K2<=0;
            K1<=0;
' H& h" ?3 n) W* {% @" N8 B$ C9 J         end
* N/ b: y- n5 Y3 @2 P       end
       Clear:
       begin
& U& n! D' H) `! q; e; Y  R          if(!A)
          begin
             state<=Idle;
             K2<=0;
             K1<=1;
- ~4 {. k* t2 m9 r; |. a$ _0 V          end
9 w7 H* Y8 r9 V+ I2 T8 a# g3 t          else
% x) |% m! V/ S) A4 B1 ?9 y/ Z$ U          begin
7 O% R2 v2 b# q3 h, Q2 r             state<=Clear;
             K2<=0;
6 i' p+ `5 Z1 M+ S+ Q6 o             K1<=0;  
          end
( c7 T6 o0 z% {1 C  `  N       end
2 Z& S: P# n  @; E. l       default:
6 F1 ^9 a& K5 F& |* K! B. j       begin
6 @* X$ x7 ~2 l2 P" f# p          state<=Idle;
( x, T) g6 e: S% r2 t6 \6 X  u* V5 z          K2<=0;
          K1<=0;
       end
   endcase  
' U+ i9 s( G$ F; m6 q   end
end
( X4 c3 z9 N/ d* B% gendmodule

) g: n6 c0 R/ S: N6 H: O请问各位大神这是什么原因