iNToRawFN

in hardfloat_sys

extern entity iNToRawFN<#uint intWidth>(
    signedIn: bool,
    in: uint<intWidth>,
    isZero: inv &bool,
    sign: inv &bool,
    sExp: inv &int<{uint_bits_to_fit(intWidth) + 3}>,
    sig: inv &uint<{intWidth + 1}>
);

Description taken from the Berkeley Hardfloat documentation:

Performs a similar function, but returns a floating-point value in deconstructed form.