data/full_repos/permissive/509468557/tools/dsptools/src/main/resources/BBFCeil.v
data/verilator_xmls/f8dbe9ef-4e1e-4bf5-8da3-367a0ccebfdb.xml
module BBFCeil(
    input  [63:0] in,
    output reg [63:0] out
);
  always @* begin
  out = $realtobits($ceil($bitstoreal(in)));
  end
endmodule
module BBFCeil(
    input  [63:0] in,
    output reg [63:0] out
);

  always @* begin
  out = $realtobits($ceil($bitstoreal(in)));
  end
endmodule