Altera代码推荐风格2010版.pptVIP

* * * * * Grey-Code Encoding Manual State Encoding Door_closed = 1 Full = 1 IDLE Water = 0 Spin = 0 Heat = 0 Pump = 0 FILL Water = 1 Spin = 0 Heat = 0 Pump = 0 HEAT_W Water = 0 Spin = 1 Heat = 1 Pump = 0 WASH Water = 0 Spin = 1 Heat = 0 Pump = 0 DRAIN Water = 0 Spin = 1 Heat = 0 Pump = 1 Heat_demand = 0 Heat_demand = 1 Done = 1 Empty = 1 module state_machine (clk, reset, door_closed, full, heat_demand, done, empty, water, spin, heat, pump); input clk, reset, door_closed, full, heat_demand, done, empty; output reg water, spin, heat, pump; reg [2:0] state, next_state; parameter idle = 3b001, fill = 3b011, heat_w = 3b010, wash =3b110, drain =3b100; Note: Also requires setting STATE MACHINE ENCODING assignment to User-Encoded * Undefined States Causes of undefined states State machines have input(s) from another clock domain. Device works in a hostile operating environment such as space applications. If state machines do not consider undefined states, it can cause mysterious “lock-ups” in hardware Good engineering practice is to consider these states Synthesis tools may require explicit coding to account for undefined states * ‘Safe’ State Machine ?? Full = 1 Heat_demand = 0 IDLE Water = 0 Spin = 0 Heat = 0 Pump = 0 FILL Water = 1 Spin = 0 Heat = 0 Pump = 0 HEAT_W Water = 0 Spin = 1 Heat = 1 Pump = 0 WASH Water = 0 Spin = 1 Heat = 0 Pump = 0 DRAIN Water = 0 Spin = 1 Heat = 0 Pump = 1 Door_closed = 1 Heat_demand = 1 Done = 1 Empty = 1 Using default clause to cover all undeclared states //State transitions always @(posedge clk or negedge reset) begin if (!reset) state = idle; else state = next_state; end //Next State logic always @(state or door_closed or full or heat_demand or done or empty) begin next_state = state; //default condition case (state) idle: if (door_closed) next_state = fill; fill: if (full) next_state = heat_w; heat_w: if (heat_demand==0) next_state= wash; wash: begin if (heat_deman