module __hfloat16__is_nan(
  input wire [15:0] f,
  output wire out
);
  wire [4:0] f_bexp;
  wire [9:0] f_fraction;
  assign f_bexp = f[14:10];
  assign f_fraction = f[9:0];
  assign out = f_bexp == 5'h1f & f_fraction != 10'h000;
endmodule