Learn BLUESPEC-SYSTEMVERILOG with Real Code Examples

module mkBlinkLED(LED led);
    Reg#(Bit#(24)) counter <- mkReg(0);

    rule tick;
        counter <= counter + 1;
        led <= counter[23];
    endrule
endmodule

Toggle an LED using a counter and rule-based logic in BSV.

module mkCounter2Bit(Bit#(2) count);
    Reg#(Bit#(2)) cnt <- mkReg(0);

    rule increment;
        cnt <= cnt + 1;
        count <= cnt;
    endrule
endmodule

A simple 2-bit synchronous counter using BSV rules.

module mkAndGate(Bit A, Bit B, Bit Y);
    rule logic;
        Y <= A & B;
    endrule
endmodule

Implement a 2-input AND gate in Bluespec SystemVerilog.