lab7-1 Lab 6: FSM Description Separate combinational and memory circuits –State memory uses FFs –Others are combinational circuits

lab7-2 Another approach

lab7-3 Traffic Light Controller TL FF’s Comb. circuits Comb. circuits staten_state C TS l The block diagram HR HG HY FR FG FY ST ST_o

lab7-4 State transition diagram S0: HG S1: HY S2: FG S3: FY Reset TL + C S0 TLC/ST TS S1S3 S2 TS/ST TL + C/ST TS TL C

lab7-5 Verilog Description module traffic_light(HG, HY, HR, FG, FY, FR,ST_o, tl, ts, clk, reset, c) ; output HG, HY, HR, FG, FY, FR, ST_o; input tl, ts, clk, reset, c ; reg ST_o, ST ; reg[0:1] state, next_state ; parameter EVEN= 0, ODD=1 ; parameter S0= 2'b00, S1=2'b01, S2=2'b10, S3=2'b11; assign HG = (state == S0) ; assign HY = (state == S1) ; assign HR = ((state == S2)||(state == S3)) ; assign FG = (state == S2) ; assign FY = (state == S3) ; assign FR = ((state == S0)||(state == S1)) ;

lab7-6 // flip-flops (posedge clk or posedge reset) if(reset)// an asynchronous reset begin state = S0 ; ST_o = 0 ; end else begin state = next_state ; ST_o = ST ; end

lab7-7 (state or c or tl or ts) case(state)// state transition S0: if(tl & c) begin next_state = S1 ; ST = 1 ; end else begin next_state = S0 ; ST = 0 ; end Reset TL + C S0 TLC/ST TS S1S3 S2 TS/ST TL + C/ST TS TL C

lab7-8 S1: if (ts) begin next_state = S2 ; ST = 1 ; end else begin next_state = S1 ; ST = 0 ; end S2: if(tl | !c) begin next_state = S3 ; ST = 1 ; end else begin next_state = S2 ; ST = 0 ; end Reset TL + C S0 TLC/ST TS S1S3 S2 TS/ST TL + C/ST TS TL C

lab7-9 S3: if(ts) begin next_state = S0 ; ST = 1 ; end else begin next_state = S3 ; ST = 0 ; end endcase endmodule Reset TL + C S0 TLC/ST TS S1S3 S2 TS/ST TL + C/ST TS TL C

lab7-10

lab7-11 Counter Design ST –when active, clear and enable the counter TL/TS –terminal count –active to disable the counter ST options –latched or non-latched output Counter options –synchronous or asynchronous clear

lab7-12 Timer Design Timer/counter clk ST TL/TS TL/TS Sync. Clear Async. Clear

lab7-13 Non-latched Output Synchronous/asynchronous clear clk state TL C ST Sync. Clear (ST to TL) Async. Clear (ST to TL) S0 S1 S0

lab7-14 Latched Output Timing Diagram clk state TL/TS C ST_o Sync. Clear (ST to TL) Async. Clear (ST to TL) S0 S1S2 S0 S1

lab7-15 FSM Directive // synopsys state_vector state parameter [2:0] /* synopsys enum bus_states */ S0 = 3'b000, S1 = 3'b001, S2 = 3'b010, S3 = 3'b011, S4 = 3'b100, S5 = 3'b101; reg [2:0] /* synopsys enum bus_states */ state, next_state;

lab7-16 An Inefficient Use of Nested If (posedge CLK) begin if (RESET == 1’b1) begin if (ADDR_A == 2’b00) begin DEC_Q[5:4] <= ADDR_D; DEC_Q[3:2] <= 2’b01; DEC_Q[1:0] <= 2’b00; if (ADDR_B == 2’b01) begin DEC_Q[3:2] <= ADDR_A + 1’b1; DEC_Q[1:0] <= ADDR_B + 1’b1; if (ADDR_C == 2’b10)

lab7-17 begin DEC_Q[5:4] <= ADDR_D + 1’b1; if (ADDR_D == 2’b11) DEC_Q[5:4] <= 2’b00; end else DEC_Q[5:4] <= ADDR_D; end else DEC_Q[5:4] <= ADDR_D; DEC_Q[3:2] <= ADDR_A; DEC_Q[1:0] <= ADDR_B + 1’b1; end else DEC_Q <= 6’b000000; end

lab7-18 Nested If = priority-encoded logic –complex nested if => inefficient

lab7-19 (posedge CLK) begin if (RESET == 1’b1) begin casex (ADDR_ALL) 8’b : begin DEC_Q[5:4] <= 2’b00; DEC_Q[3:2] <= ADDR_A + 1; DEC_Q[1:0] <= ADDR_B + 1’b1; end 8’b000110xx: begin DEC_Q[5:4] <= ADDR_D + 1’b1; DEC_Q[3:2] <= ADDR_A + 1’b1; DEC_Q[1:0] <= ADDR_B + 1’b1; end

lab7-20 8’b0001xxxx: begin DEC_Q[5:4] <= ADDR_D; DEC_Q[3:2] <= ADDR_A + 1’b1; DEC_Q[1:0] <= ADDR_B + 1’b1; end 8’b00xxxxxx: begin DEC_Q[5:4] <= ADDR_D; DEC_Q[3:2] <= 2’b01; DEC_Q[1:0] <= 2’b00; end default: begin DEC_Q[5:4] <= ADDR_D; DEC_Q[3:2] <= ADDR_A; DEC_Q[1:0] <= ADDR_B + 1’b1; end endcase end else DEC_Q <= 6’b000000; end

lab7-21 Case statements creates balanced logic –reduces the delay by 3 ns

lab7-22 Case Statement - Avoid Inferred Latch Use a default assignment or add // synopsys full_case directive (bcd) begin case (bcd) // synopsys full_case 4’d0: begin out2=0; out1=0; out0=1; end 4’d1: begin out2=0; out1=1; out0=0; end 4’d0: begin out2=1; out1=0; out0=0; end endcase end

lab7-23 Case Statement - Avoid Priority Decoder To prevent priority decoder inferred, add // synopsys parallel_case directive (u or v or w or x or y or z) begin case (2’b11) // synopsys parallel_case u: decimal=10’b ; v: decimal=10’b ; w: decimal=10’b ; x: decimal=10’b ; y: decimal=10’b ; z: decimal=10’b ; default: decimal=10’b ; endcase end

lab7-24 Case Statement - Inferred Priority Decoder A priority decoder may be used (depending on the capability of the synthesis tool) (u or v or w or x or y or z) begin case (2’b11) u: decimal=10’b ; v: decimal=10’b ; w: decimal=10’b ; x: decimal=10’b ; y: decimal=10’b ; z: decimal=10’b ; default: decimal=10’b ; endcase end

lab7-25 Case Statement - Avoid Priority Decoder To prevent priority decoder inferred, add // synopsys parallel_case directive (u or v or w or x or y or z) begin case (2’b11) // synopsys parallel_case u: decimal=10’b ; v: decimal=10’b ; w: decimal=10’b ; x: decimal=10’b ; y: decimal=10’b ; z: decimal=10’b ; default: decimal=10’b ; endcase end