mulRecFN

in hardfloat_sys

extern entity mulRecFN<#uint expWidth, #uint sigWidth>(
    control: uint<1>,
    a: uint<{expWidth + sigWidth + 1}>,
    b: uint<{expWidth + sigWidth + 1}>,
    roundingMode: uint<3>,
    out: inv &uint<{expWidth + sigWidth + 1}>,
    exceptionFlags: inv &uint<5>
);

Description taken from the Berkeley Hardfloat documentation:

Multiplies two recoded floating-point values, returning a result in the same format.