data/full_repos/permissive/444559342/mp1/kogge_stone/formal_verification/formal_tb.sv
1: b'%Error: data/full_repos/permissive/444559342/mp1/kogge_stone/formal_verification/formal_tb.sv:21: syntax error, unexpected IDENTIFIER, expecting edge or negedge or posedge\n    @(CLK)\n      ^~~\n%Error: Exiting due to 1 error(s)\n'
module formal_tb
#(parameter LEN=64)
(
    input                  CLK,
    input        [LEN-1:0] a_i,
    input        [LEN-1:0] b_i,
    input                  c_i,
    output logic [LEN-1:0] s_o,
    output logic           c_o
);


logic [LEN:0] msum;
assign msum = {1'b0, a_i} + {1'b0, b_i} + c_i;


ks_adder #(LEN) dut(.*);


as_correct: assert property(
    @(CLK)
    disable iff (1'b0)
    msum == {c_o, s_o}
);

endmodule
module formal_tb
#(parameter LEN=64)
(
    input                  CLK,
    input        [LEN-1:0] a_i,
    input        [LEN-1:0] b_i,
    input                  c_i,
    output logic [LEN-1:0] s_o,
    output logic           c_o
);



logic [LEN:0] msum;
assign msum = {1'b0, a_i} + {1'b0, b_i} + c_i;


ks_adder #(LEN) dut(.*);


as_correct: assert property(
    @(CLK)
    disable iff (1'b0)
    msum == {c_o, s_o}
);

endmodule