Skip to main contentModule utils
Source - Fp64Parts
- Simple view of a decoded binary64 payload.
- bit_lsb
- Extracts bit
i from x as a 0/1 value. - bit_msb01
- Extracts bit
i from x as an MSB-bool (true = bit63 set, false = 0). - clz64
- Count leading zeroes in
x - fp64_pack_finite_or_inf
- Pack finite (normal / subnormal) and apply overflow-to-Inf if needed.
- fp64_round_rne
- Round-to-nearest, ties-to-even (RN-even).
- fp64_sig53_and_exp
- Build the 53-bit integer significand and effective exponent.
- fp64_underflow_shift
- Pre-round underflow handling: if
exp<=0, right shift by k=1-exp
and fold sticky into bit0. Also prepare the exponent for rounding geometry (Exp=1). - fp64_unpack
- Unpack and classify a binary64 word.
- isub
- Performs integer subtraction:
a - b. - msb_to_lsb01
- Moves MSB to LSB position zeroing all other bits.
- one
- Creates a wire containing the constant value 1.
- shr128_to_u64_const
- Right-shift a 128-bit value by a small constant and return the low 64 bits.
- sticky_from_low_k
- Extract sticky bit from the k least-significant bits of a value.
- var_shl
- Performs variable left shift.
- var_shr_with_sticky
- Performs variable right shift with sticky bit tracking.
- zero
- Creates a wire containing the constant value 0.