[Libre-soc-dev] funding & go-ahead requested for #1134

[Jacob Lifshay]

On Mon, Aug 21, 2023 at 5:40 PM Jacob Lifshay <programmerjake at gmail.com> wrote:
> Working on time/budget estimates next.

I realized I completely forgot about adding formal proofs, do we have
to add them to everything, or are unit tests good enough for now?

because many of the instructions will be very difficult  to formally
prove, both in terms of complexity and that the formal proof may take
hours/days to run. Remember how hard fmul was? fdiv/fsqrt is harder.

Jacob