数字系统设计第三章.pptVIP

有限状态机设计要点 起始状态的选择和复位 多余状态的处理 起始状态的选择和复位 起始状态的选择： 起始状态指电路复位后所处的状态，选择一个合理的起始状态将使整个系统简洁高效。 多数EDA软件会自动为基于状态机的设计选择一个最佳的起始状态 有限状态机的同步复位： 有限状态机的异步复位： 如果只需要在上电和系统复位时进行复位操作，那么采用异步方式要比同步方式好。 多余状态的处理 在状态机设计中，会出现大量的多余状态，或称为无效状态、非法状态 一般有两种处理多余状态的方法： 在case语句中用when others分支决定如果进入无效状态所采取的措施 编写必要的VHDL源代码明确定义进入无效状态所采取的行动 NEXT_STATE_DECODE: PROCESS (state, input1, input2, ...) BEGIN next_state = state; --default IS to stay IN current state CASE (state) IS WHEN st1_name = IF input_1 = 1 THEN next_state = st2_name; END IF; WHEN st2_name = IF input_2 = 1 THEN next_state = st3_name; END IF; WHEN others = next_state = st1_name; END CASE; END PROCESS; Mealy型状态机控制逻辑 【例3-23】试用VHDL设计实现交通灯控制器的Mealy型状态机，如图3-9所示。其中T1、t2、T3分别代表三个定时器的溢出信号，三个定时器代表红灯、绿灯和黄灯点亮的时间；Reset信号代表复位信号。 ENTITY example3_23 IS PORT ( reset,clk : IN STD_LOGIC; t1,t2,t3 : IN STD_LOGIC; R,g,y : OUT STD_LOGIC); END example3_23; ARCHITECTURE Behavioral OF example3_23 IS type state_type IS (Red,Green,Yellow); signal state, next_state : state_type; BEGIN SYNC_PROC: PROCESS (clk) BEGIN IF (clkevent and clk = 1) THEN IF (reset = 1) THEN -- 复位状态机 state = RED; ELSE state = next_state; -- 状态更新 END IF; END IF; END PROCESS; --MEALY State Machine - Outputs based on state and inputs OUTPUT_DECODE: PROCESS (state, t1, t2, t3) BEGIN IF (state =Red and t1 = 0) THEN --状态译码 R= 1; g= 0; y= 0; ELSIF (state =Green and t2 = 0) THEN R= 0; g= 1; y= 0; ELSIF (state =Yellow and t3 = 0) THEN R= 0; g= 0; y= 1; END IF; END PROCESS; NEXT_STATE_DECODE: PROCESS (state,t1,t2,t3) BEGIN next_state = state; CASE (state) IS --状态变换 WHEN Red = IF t1 = 1 THEN next_state = Green;