data/full_repos/permissive/441359809/src/yosys/tests/simple/param_attr.v
data/verilator_xmls/e0330376-348d-4105-9e69-3fa85db93c97.xml
module uut_param_attr (I, O);

(* PARAMETER_ATTRIBUTE = "attribute_content" *)
parameter WIDTH = 1;

input  wire [WIDTH-1:0] I;
output wire [WIDTH-1:0] O;

assign O = I;

endmodule
module uut_param_attr (I, O);


(* PARAMETER_ATTRIBUTE = "attribute_content" *)
parameter WIDTH = 1;

input  wire [WIDTH-1:0] I;
output wire [WIDTH-1:0] O;

assign O = I;

endmodule