状态机问题

唐顺之

1.源代码如下不能生成状态转移图
module fsm(
' W4 t' N% V3 N9 m! Q, O
clk,
- F9 p" t, K& G* {8 c! p' w8 X
5 R8 W3 Q) |, vreset,

A,
8 I4 ?9 C7 j' Q% l- E4 v
K1,

K2,
3 ]& N; e( E9 r# E0 r  h9 ^
+ G8 t/ L* x: j; D9 b* j9 y. dstate
            );

input clk,reset,A;
( ]  g- \0 d, g$ J, C: Routput K1,K2;
//output[1:0] state;
- h6 c% D/ G- e- G3 Z+ K, x& treg K1,K2;
reg [1:0] state;

1 b- E6 f' [& `& xparameter  Idle = 2'b00,

   Start= 2'b01,

   Stop = 2'b10,

, {& v1 l5 w9 r& k8 U$ |   Clear= 2'b11;
* T) t7 A2 G  f; c! q4 t3 f( _% u
* a. t, L: ~) v0 l3 u   
6 e$ G; i# B! ^2 L9 F: E2 J4 p7 dalways @(posedge clk)
begin
   if(!reset)
   begin
      state<=Idle;
      K2<=0;
3 l: s8 `" j8 A5 l* D  i      K1<=0;
   end
   else
   begin
- P" h6 k9 I# b% s4 ^% z( X( B      case(state)
/ e" B1 }# C3 W* G5 g3 ]* |* `      Idle:
      begin
         if(A)
5 J( a& N, l$ w/ B# t8 L9 O         begin
" ^5 a1 p: i; C& v1 f) P% q7 h            state<=Start;
+ E$ h! l7 o5 J( u, Q/ A7 l            K1<=0;
: n" m  N9 ^. D/ f% S. ^4 O: R# C5 n8 Q         end
0 [. _* L4 l# y# x# ]* D2 v         else
* L+ g. ^7 j- H1 m- _: l         begin
            state<=Idle;
% ?. w+ ?4 }7 l; M8 x            K2<=0;
* o: G* h5 s4 C5 }3 V" q/ \            K1<=0;
         end
2 f' U+ b+ `; u8 M# U      end
/ D! N3 v( a; j8 l      Start:
# f$ M0 O3 T& e& M. S5 R3 A& Y2 b      begin
, x) a3 {/ L  |) f! e9 v  u        if(!A)
        begin
           state<=Stop;
* T- g* d! a7 s7 ]        end
& Y; V" ]; e% T        else
        begin
! J! ^4 {$ ?8 A: B5 v           state<=Start;
0 Z! v' b6 g0 L        end
+ L$ F5 f1 v0 U& C  H      end
      Stop:
      begin
         if(A)
7 x1 Z, W& h+ j; y3 n         begin
! p  E# Q2 \# a" X+ a4 |5 ]/ _" _& b" z# P            state<=Clear;
, N" K% D" I3 q8 K            K2<=1;
3 J) t/ z  O2 Q9 d- {* ]+ D# H         end
         else
         begin
3 l. L8 c8 Q+ G1 K1 F) J            state<=Stop;
6 ]8 V" J, v4 j            K2<=0;
- a; Z1 v9 w: U, i; y# N* `+ [- i, ]; _            K1<=0;
* c5 ?' }2 W. q- ?( Z4 l' B         end
8 n: ?7 B# \: ]8 i& E       end
4 j, m% q7 S) o/ H; U9 _       Clear:
       begin
          if(!A)
          begin
) l( X3 Y# u( {& z             state<=Idle;
             K2<=0;
5 ^6 D8 w4 y% w3 S6 o             K1<=1;
          end
* t) [. i" u5 E" ^7 |- a% e          else
6 o* v4 r9 W0 ~. T$ S          begin
             state<=Clear;
             K2<=0;
             K1<=0;  
          end
0 a0 D/ c  k- D+ r       end
- x) p) K$ h* D       default:
       begin
9 B' k' V! A- ]+ d# ]          state<=Idle;
          K2<=0;
0 E9 c, m7 c- P5 P          K1<=0;
       end
   endcase  
$ }* \7 ?3 K  s, [. r: A$ j' l5 ?5 v/ s   end
end
# D0 s! m8 f9 U- y: Yendmodule
& ?4 x5 J6 Q+ T
- Z: c: _! O" B/ {6 K1 {, `2.源代码如下能生成状态转移图
8 B, n8 V2 _' S5 M' V: N# H1 mmodule fsm(
4 w0 \! O# e! }- A
9 Z% X( G0 K+ H* o! v% Q3 yclk,

reset,

A,

% U! ~0 s9 R) n7 u; Y' L9 p- x* kK1,

K2
/ b& w4 {' }( }. ?  }' _5 m  k            );

4 e+ h; r8 q# }+ d% I& u
input clk,reset,A;
output K1,K2;

3 i1 H/ Y2 H3 C6 }& q) ?( yreg K1,K2;
reg [1:0] state;


( y$ @: ]5 `; [5 rparameter  Idle = 2'b00,
) w$ [' A, J4 u7 I% j7 |# a
   Start= 2'b01,

   Stop = 2'b10,

   Clear= 2'b11;
7 R8 H  w7 s  ^
   
* k& c$ K$ w. ^6 f: g: falways @(posedge clk)
begin
   if(!reset)
9 k( d$ p; l. r   begin
% \1 Q2 \! K( A, E3 U# q# J3 E      state<=Idle;
4 O5 {8 q3 W, T- ^      K2<=0;
6 d3 ?) k1 P& }3 C. J- i$ X      K1<=0;
9 W2 j( A. R7 w! A; N; j' C   end
   else
   begin
' b) u& U" V: h  L$ k: C' J, \& @      case(state)
      Idle:
      begin
" R# N$ s8 r) J         if(A)
         begin
$ C" Q% h+ D  K            state<=Start;
( f4 o! @, {( u            K1<=0;
         end
. q* W0 J/ \# n* p! K0 d, }6 @         else
# ^' L1 u! Z9 W         begin
# X) w# P3 I' N/ k( i4 ^            state<=Idle;
+ I8 `! U! @/ o3 U            K2<=0;
% X3 p( R* o  d            K1<=0;
: F1 j* y) F* j- B         end
      end
      Start:
5 g. p* h9 X' @      begin
0 G, F& k6 D3 q' e# B8 X        if(!A)
! f2 n1 W) Y, g        begin
9 j6 d9 V, K5 y5 b" m% K# ~           state<=Stop;
6 k& E1 k2 a9 R; D        end
        else
        begin
           state<=Start;
" ?  L9 U9 `7 e( X) g* @9 ]8 @        end
      end
$ i* x, i7 M: N; B& T% \      Stop:
/ W5 u4 A  `7 E2 i/ B- b      begin
+ q' w: W4 J  i6 b* \0 u         if(A)
         begin
$ g$ ]" @) O4 c' R  ~            state<=Clear;
5 C2 y9 m1 Z5 C5 X# M% e6 D            K2<=1;
+ s' [4 y2 g! z         end
         else
) K: z4 {: J; U- ^: S9 g         begin
            state<=Stop;
            K2<=0;
' b- `+ L8 S7 S  K( m% p0 I            K1<=0;
# b+ H. c9 i0 H4 `4 ^: Q         end
5 O7 L2 F! O9 @       end
       Clear:
% |" T: M. v  w/ }& r  u       begin
: ?& a6 b7 Q2 _          if(!A)
* K5 Y- k  Z2 B$ S$ n; m8 C          begin
5 C6 L0 r5 U$ ?, s6 ?5 g# ~             state<=Idle;
             K2<=0;
0 B( T" @) k7 W+ d" l- I8 N4 e             K1<=1;
; y8 l0 ]8 M: ^: Y          end
, G1 C3 N# v  Q. O          else
5 I, e5 J% _4 d2 v4 _) \& J& y! {9 k- p          begin
  H% s0 s  P: G5 j  S8 r2 g& Q8 \             state<=Clear;
             K2<=0;
             K1<=0;  
* r. j8 ^. p  Q. v% c          end
       end
       default:
4 `1 q$ e! k9 c! `       begin
; X' N. b, F! t1 D0 O          state<=Idle;
          K2<=0;
          K1<=0;
       end
   endcase  
% X# |9 a9 `8 {6 T, J4 n   end
end
8 u/ {8 W4 e  c3 [/ s! Q* |endmodule
- P7 q5 P6 `$ }- E
$ h2 ~2 M( g4 c0 W请问各位大神这是什么原因