--在上面的例子中，系統的狀態轉移圖是已知的，我們可以根據系統的
--狀態轉移圖方便的寫出VHDL代碼。還有一種情況，系統的狀態轉移圖
--是未知的，或者程序的狀態轉移圖很復雜，不能夠根據程序輕易的畫
--出狀態轉移圖，這時我們可以借助EDA軟件來分析程序的狀態轉移圖，
--假設含有狀態轉移圖的VHDL代碼如下：

LIBRARY ieee;
USE ieee.std_logic_1164.all;
USE ieee.std_logic_arith.all;
USE ieee.std_logic_unsigned.all;

ENTITY state_s3 IS
	PORT(
			clock: in std_logic;
			reset	: in std_logic;
			control: in std_logic;
			y: out integer range 0 to 3--如果不約束y的范圍，輸出管腳將有32位。
		);
END state_s3;
ARCHITECTURE rtl OF state_s3 IS
	TYPE state_type IS(st0, st1, st2, st3);
	SIGNAL currentstate,nextstate : state_type;
BEGIN

seq: process(clock,reset)
  begin
	if (reset='1') then
		currentstate<=st0;
	elsif clock'event and clock='1' then
		currentstate<=nextstate;
	end if;
end process seq;

comb: process (control,currentstate)
  begin
	case currentstate is
		when st0=> nextstate<=st1;
		when st1=> if (control='1') then
					  nextstate<=st2;
				   else
					  nextstate<=st3;
				   end if;
		when st2=> nextstate<=st3;
		when st3=> nextstate<=st0;
		when others=> nextstate<=st0;
	end case;
end process comb;

with currentstate select
 	y <= 0 when st0,
		 1 when st1,
		 2 when st2,
		 3 when st3,
		 0 when others;
end rtl;