Elaboration of a floating-point reference algorithm and verification of a Verilog implementation using the EDA Simulator Link DS cosimulation interface. (Graphic: Business Wire)