module __bfloat16__is_inf(
  input wire [15:0] f,
  output wire out
);
  wire [7:0] f_bexp;
  wire [6:0] f_fraction;
  assign f_bexp = f[14:7];
  assign f_fraction = f[6:0];
  assign out = f_bexp == 8'hff & f_fraction == 7'h00;
endmodule