Sequential Logic & SystemVerilog

Rodolfo Azevedo

Institute of Computing, University of Campinas (UNICAMP), Brazil

rodolfo.azevedo@unicamp.br

http://www.ic.unicamp.br/~rodolfo/mo801

Goal of this class

Module 1, Class 3: latches, flip-flops, registers, counters — and always_ff.

Combinational circuits compute functions of current inputs. Sequential circuits also remember the past. This class introduces the element that makes memory possible: the flip-flop — and the SystemVerilog construct always_ff that describes it.

At the end of this class, you should be able to:

• Explain the D flip-flop's setup time, hold time, and propagation delay, and why violating them causes metastability.
• Write synchronous sequential circuits using always_ff with non-blocking assignments.
• Implement registers, counters, and the two-process pattern in SystemVerilog.
• Apply a two-FF synchronizer to safely bring asynchronous inputs into a synchronous design.
• Analyze clock timing constraints (t_pcq + t_comb + t_su) and interpret nextpnr timing reports.

Why we need memory: the latch

Consider a traffic light controller. The output (which light is on) depends not only on a push-button but also on which state the light was in before. That is sequential behaviour — the circuit needs to remember something.

The simplest memory element is the SR latch (Set-Reset), built from two cross-coupled NAND gates:

The undefined state and level-sensitive (not edge-triggered) behaviour make raw latches difficult to use reliably in synchronous designs. In practice, we use flip-flops.

The D flip-flop: edge-triggered memory

A D flip-flop (DFF) samples its input at the rising edge of the clock and holds it until the next rising edge:

• Setup time (): must be stable before the rising edge.
• Hold time (): must stay stable after the rising edge.
• Propagation delay (): time from clock edge to valid .

Violating setup or hold time causes metastability — the flip-flop output is unpredictable. This is why you cannot connect two independent clock domains directly without a synchronizer.

The DFF is the fundamental building block of all synchronous digital design. Every register, every FSM state, every pipeline stage is a collection of DFFs.

The two-flip-flop synchronizer

Any signal that crosses a clock domain boundary — or comes from outside the chip entirely (button press, UART RX) — can arrive at any phase relative to the destination clock. If it violates the DFF's setup or hold time, the output may never settle to a valid 0 or 1: this is called metastability.

Solution: cascade two DFFs clocked by the destination domain.

module sync2ff #(parameter WIDTH = 1) (
  input  logic             clk,
  input  logic [WIDTH-1:0] async_in,
  output logic [WIDTH-1:0] sync_out
);
  logic [WIDTH-1:0] meta;
  always_ff @(posedge clk) begin
    meta     <= async_in;   // stage 1: may be metastable
    sync_out <= meta;       // stage 2: stable with high probability
  end
endmodule

• The first FF can go metastable, but has a full clock period to settle before stage 2 samples it.
• Rule: every asynchronous input — button, UART RX line, any cross-domain signal — must pass through a synchronizer before any logic uses it.
• Two FFs suffice for most FPGA frequencies (≤ 100 MHz). Very high-speed designs use three.

Level detection vs. edge detection

Level detection: logic acts every cycle that a signal holds a value.

if (btn_sync == 1) ...   // fires every clock while button is held — usually wrong

Edge detection: logic acts exactly once, on the transition. Implemented by comparing the current value to a one-cycle-delayed copy:

logic btn_prev, btn_rising;
always_ff @(posedge clk) 
  btn_prev <= btn_sync;

assign btn_rising = btn_sync & ~btn_prev;  // one-cycle pulse on rising edge

Why it matters for UART RX:

• The receiver must detect the falling edge of the START bit, then count half a bit-period to reach the centre of bit 0.
• Level detection would re-trigger the receiver on every cycle the line is low.
• Edge detection fires once; a counter then times out to the sample point.

Common bug: using level detection for a button → an action (e.g., counter increment) repeats millions of times per second while the button is held.

always_ff — describing flip-flops in SystemVerilog

module dff (
    input  logic clk, rst, d,
    output logic q
);
    always_ff @(posedge clk) begin
        if (rst)
            q <= 1'b0;    // synchronous reset
        else
            q <= d;
    end
endmodule

Key rules for always_ff:

• Use non-blocking assignment <= — never = inside always_ff.
• The sensitivity list must be @(posedge clk) (or @(negedge clk) for falling-edge). Tools reject other patterns.
• The synthesis tool maps this directly to a flip-flop primitive in the target technology.

Synchronous vs. asynchronous reset

Both styles are common; your project's choice must be consistent throughout:

// Synchronous reset — reset only takes effect on the clock edge
always_ff @(posedge clk) begin
    if (rst) q <= '0;
    else     q <= d;
end

// Asynchronous reset — reset takes effect immediately, regardless of clock
always_ff @(posedge clk or posedge rst) begin
    if (rst) q <= '0;
    else     q <= d;
end

• Synchronous reset: simpler timing analysis, easier to synthesize; requires a clock edge to release reset. Preferred for most student designs.
• Asynchronous reset: can reset even with no clock running; adds a separate path through the flip-flop's rst pin.
• '0 is the aggregate zero literal — fills the entire left-hand side with zeros, regardless of width. Equivalent to 4'b0000 for a 4-bit signal but works for any width.

Non-blocking assignment — why it matters

Wrong: produces a shift register in simulation, but models wrong hardware intent with blocking '='

always_ff @(posedge clk) begin
    b = a;    // b gets new a
    c = b;    // c gets new b — which is already updated!
end

Correct: both sample simultaneously at the clock edge

always_ff @(posedge clk) begin
    b <= a;
    c <= b;   // c gets old b (the value b held before this edge)
end

The rule is simple and absolute

• <= (non-blocking) inside always_ff — models registers: all right-hand sides are evaluated first using old values, then all assignments happen simultaneously.
• = (blocking) inside always_comb — models wires: evaluation proceeds top-to-bottom like sequential software.

Mixing the two inside one block is a synthesis error.

Registers: N flip-flops sharing a clock

An -bit register is DFFs with a shared clock and reset:

module register #(parameter WIDTH = 32) (
    input  logic             clk, rst,
    input  logic [WIDTH-1:0] d,
    output logic [WIDTH-1:0] q
);
    always_ff @(posedge clk) begin
        if (rst) q <= '0;
        else     q <= d;
    end
endmodule

With an enable signal (load only when en is high):

    always_ff @(posedge clk) begin
        if (rst)     q <= '0;
        else if (en) q <= d;
        // else: q holds its value
    end

This pattern — register with synchronous reset and enable — is the template for every register in the RV32I datapath: PC, IR, MDR, ALUOUT, and the 32 general-purpose registers.

Shift register

A serial-in, serial-out (SISO) shift register delays a 1-bit signal by clock cycles:

module shift_reg #(parameter DEPTH = 8) (
    input  logic clk, rst,
    input  logic d,
    output logic q
);
    logic [DEPTH-1:0] sr;
    always_ff @(posedge clk) begin
        if (rst) sr <= '0;
        else     sr <= {sr[DEPTH-2:0], d};   // shift left; new bit enters at LSB
    end
    assign q = sr[DEPTH-1];                  // output: the oldest bit
endmodule

• {sr[DEPTH-2:0], d} is concatenation: drop the MSB (which exits as q) and append the new input at the LSB.
• After cycles of stable input d, q equals d. This is a -cycle pipeline delay.

Applications in this course

• UART TX: the transmitter loads an 8-bit byte into a shift register and shifts one bit per baud period onto the TX line (M03A03).
• SPI: master and slave exchange bits simultaneously through a shared shift register pair.
• Depth-1: a single DFF — the atomic pipeline stage. Every pipeline register in Project 3's accelerator is a shift register of depth 1.

Counters

A synchronous counter increments its value every clock cycle:

module counter #(parameter WIDTH = 25) (
    input  logic             clk, rst,
    output logic [WIDTH-1:0] count
);
    always_ff @(posedge clk) begin
        if (rst) count <= '0;
        else     count <= count + 1'b1;
    end
endmodule

• A 25-bit counter on a 27 MHz clock overflows every seconds — slow enough to see on an LED.
• The most significant bit count[24] toggles at half that rate (once every ~0.62 s), giving a visible blink.
• Asynchronous counters (each FF clocked by the previous FF's output) exist but are harder to time and not used in synchronous designs.

In-class exercise — sequential circuits

Extend the basic counter with load and en control inputs:

module counter_le #(parameter WIDTH = 4) (
    input  logic             clk, rst, load, en,
    input  logic [WIDTH-1:0] d,
    output logic [WIDTH-1:0] count
);
    always_ff @(posedge clk) begin
        // your code here — three branches in priority order
    end
endmodule

Trace on paper (start count = 4'h3): apply load=1, d=4'hA; then en=1 for 3 cycles; then en=0 for 1 cycle. Write count after each clock edge.

Expected sequence: 3 → A → B → C → D → D. Any difference? Check the priority of your if/else if branches — the order matters.

The two-process pattern

Separating state storage from next-state logic keeps code readable and synthesizable:

module up_counter #(parameter WIDTH = 4) (
    input  logic             clk, rst, en,
    output logic [WIDTH-1:0] count
);
    logic [WIDTH-1:0] count_next;

    // Process 1: register (state storage)
    always_ff @(posedge clk) begin
        if (rst) count <= '0;
        else     count <= count_next;
    end

    // Process 2: next-state logic (combinational)
    always_comb begin
        count_next = count;        // default: hold
        if (en) count_next = count + 1'b1;
    end
endmodule

This two-process pattern is the standard template for FSMs (next class) and datapath components. The always_ff block is always trivial; all the interesting logic lives in always_comb.

Timing: clock period and maximum frequency

The clock period must be long enough for the longest combinational path between two registers:

where

• is the flip-flop propagation delay
• is the combinational delay through logic
• is the setup time of the destination flip-flop.

After place-and-route, nextpnr reports the worst negative slack (WNS):

• WNS ≥ 0 → timing met at the requested frequency
• WNS < 0 → timing violated; reduce frequency or shorten the critical path

The Tang Nano 9K runs at 27 MHz. A minimal RV32I core easily meets 27 MHz. But if you add a deep combinational path (e.g., a multi-cycle multiplier in the ALU), you may need to pipeline it.

Board exercise — LED blink counter

module blink (
    input  logic       clk,    // 27 MHz oscillator
    input  logic       rst_n,  // active-low reset (Tang Nano button)
    output logic [5:0] led     // active-low LEDs
);
    logic [24:0] count;

    always_ff @(posedge clk) begin
        if (~rst_n) count <= '0;
        else        count <= count + 1'b1;
    end

    // MSB toggles at ~0.8 Hz; each lower bit is twice as fast
    assign led[0] = ~count[24];
    assign led[1] = ~count[23];
    assign led[2] = ~count[22];
    assign led[3] = ~count[21];
    assign led[4] = ~count[20];
    assign led[5] = ~count[19];
endmodule

Synthesize and load. You should see LEDs blinking at different rates — a direct visualization of binary counting.

Signal naming convention

Consistent names make code readable and catch bugs at review time. The conventions below are used throughout this course and match industry practice.

Signal naming convention (continued)

Active-low signals

• Carry the _n suffix and are driven 0 to assert
• The Tang Nano 9K buttons and LEDs are active-low (btn[0] pressed → 0; led[0] on → 0)

Edge convention in names

• posedge clk = rising-edge clocked (default)
• negedge clk = falling-edge
• Write clk_n only when referring to the inverted clock line itself, not to falling-edge sensitivity

Next class

FSMs in SystemVerilog: Moore and Mealy machines, state encoding with typedef enum, and typedef struct packed for grouping control signals — exactly the patterns you will use in Project 1's control FSM.