data/full_repos/permissive/444559342/mp1/kogge_stone/hdl/ks_dot.sv
1: b"%Error: data/full_repos/permissive/444559342/mp1/kogge_stone/hdl/ks_dot.sv:3: syntax error, unexpected ::, expecting ')' or ','\n    input  var ks_types::gp_t \\[x:y] ,\n                       ^~\n                                                                            : ... Perhaps 'ks_types' is a package which needs to be predeclared? (IEEE 1800-2017 26.3)\n%Error: Exiting due to 1 error(s)\n"
module ks_dot
(
    input  var ks_types::gp_t \[x:y] ,
    input  var ks_types::gp_t \[w:z] ,
    output var ks_types::gp_t \[x:z]
);


always_comb begin
    aligned_idx: assert ( \[x:y] .ridx + 1 == \[w:z] . lidx);
    lidx1: assert ( \[x:y] .lidx <= \[x:y] .ridx);
    lidx2: assert ( \[w:z] .lidx <= \[w:z] .ridx);
end

assign \[x:z] .lidx = \[x:y] .lidx;
assign \[x:z] .ridx = \[w:z] .ridx;

assign \[x:z] .G = \[w:z] .G | ( \[x:y] . G & \[w:z] .P);
assign \[x:z] .P = \[x:y] .P & \[w:z] .P;

endmodule
module ks_dot
(
    input  var ks_types::gp_t \[x:y] ,
    input  var ks_types::gp_t \[w:z] ,
    output var ks_types::gp_t \[x:z]
);



always_comb begin
    aligned_idx: assert ( \[x:y] .ridx + 1 == \[w:z] . lidx);
    lidx1: assert ( \[x:y] .lidx <= \[x:y] .ridx);
    lidx2: assert ( \[w:z] .lidx <= \[w:z] .ridx);
end

assign \[x:z] .lidx = \[x:y] .lidx;
assign \[x:z] .ridx = \[w:z] .ridx;

assign \[x:z] .G = \[w:z] .G | ( \[x:y] . G & \[w:z] .P);
assign \[x:z] .P = \[x:y] .P & \[w:z] .P;

endmodule