double_fpu_verilog