如何使用STATECAD进行多状态机设计实例分析

　　PROCESS (CLK, Next_sreg, Next_BP_dcounter1, Next_BP_dcounter0)

　　BEGIN

　　IF CLK=''1'' AND CLK''Event THEN

　　Sreg = Next_sreg;

　　BP_dcounter1 = Next_BP_dcounter1;

　　BP_dcounter0 = Next_BP_dcounter0;

　　END IF;

　　END PROCESS;

　　PROCESS (CLK, Next_sreg1, Next_readcounter1, Next_readcounter0)

　　BEGIN

　　IF CLK=''1'' AND CLK''Event THEN

　　Sreg1 = Next_sreg1;

　　Readcounter1 = Next_readcounter1;

　　Readcounter0 = Next_readcounter0;

　　END IF;

　　END PROCESS;

　　PROCESS (Sreg,Sreg1,BP_dcounter0,BP_dcounter1,Readcounter0,Readcounter1,

　　RESET,BP_dcounter,Readcounter)

　　BEGIN

　　Next_BP_dcounter0 = BP_dcounter0;Next_BP_dcounter1 = BP_dcounter1;

　　Next_readcounter0 = Readcounter0;Next_readcounter1 = Readcounter1;

　　BP_dcounter = (( Std_logic_vector''(BP_dcounter1, BP_dcounter0)));

　　Readcounter = (( Std_logic_vector''(Readcount