sv2v/test/core/assert.sv

module Module(input clock, input clear, input data);
    logic x, y;
    assign y = data;
    assign x = y;
    assert property (
        @(posedge clock) disable iff(clear) x == y
    );
    named: assert property (
        @(posedge clock) disable iff(clear) x == y
    );
    task hello;
        $display("Hello!");
    endtask
    always @(posedge clock) begin
        assert property (x == y);
        named_stmt: assert property (x == y);
    end
    always @(posedge x) begin
        assert (1);
    end
    always @(posedge x)
        case (x)
            0: begin
                assert (1);
            end
            1:
                assert (1);
            default: begin
                assert (1);
            end
        endcase
endmodule