module __hfloat16__is_pos_inf(
  input wire [15:0] f,
  output wire out
);
  wire [4:0] f_bexp__1;
  wire [9:0] f_fraction__1;
  wire f_sign;
  assign f_bexp__1 = f[14:10];
  assign f_fraction__1 = f[9:0];
  assign f_sign = f[15:15];
  assign out = ~(f_bexp__1 != 5'h1f | f_fraction__1 != 10'h000 | f_sign);
endmodule