Miriam writes "A major revision of the VFLOAT variable precision floating point library is available:
Components have been tested on both Altera and Xilinx devices. A new divider has been added the supports double precision floating point. In addition, a number of past issues have been fixed.
The new divider design is described in Xin Fang's MS thesis:
and in: Xin Fang and Miriam Leeser. Vendor Agnostic, High Performance, Double Precision Floating Point Division for FPGAs, IEEE High Performance Extreme Computing (HPEC), September 2013, Waltham, MA. Available from IEEE XPLORE."