data/full_repos/permissive/509468557/tools/dsptools/src/main/resources/BBFCosh.v
data/verilator_xmls/2793cd94-bc4d-445b-8046-e81aa3470f70.xml
module BBFCosh(
    input  [63:0] in,
    output reg [63:0] out
);
  always @* begin
  out = $realtobits($cosh($bitstoreal(in)));
  end
endmodule
module BBFCosh(
    input  [63:0] in,
    output reg [63:0] out
);

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