ucb-bar / berkeley-hardfloat

Other
271 stars 84 forks source link

Make DivSqrtRecFN_small tolerant to X-pessimism #56

Closed aswaterman closed 3 years ago

aswaterman commented 3 years ago

In the recoded format, many bits are don't-cares for Inf, NaN, and zero. Alas, taking advantage of that relies on sane processing of don't-cares, which Verilog X does not have.

Luckily, in this case, the fix actually slightly reduces HW cost.