module __bfloat16__negate(
  input wire [15:0] x,
  output wire [15:0] out
);
  wire x_sign__1;
  wire [7:0] x_bexp__1;
  wire [6:0] x_fraction__1;
  assign x_sign__1 = x[15:15];
  assign x_bexp__1 = x[14:7];
  assign x_fraction__1 = x[6:0];
  assign out = {~x_sign__1, x_bexp__1, x_fraction__1};
endmodule