[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.

ok, based on ternlogi, which I'm estimating took 1.5 weeks (it took
from 2021-11-17 to 2022-12-17 which I think was only 2-3 days coding
and a bunch of emailing, also i think I was doing a lot of other stuff
too)

nmutil/src/nmutil/lut.py: 214
nmutil/src/nmutil/test/test_lut.py: 140
src/soc/fu/shift_rot/main_stage.py: added ~10 lines
src/soc/fu/shift_rot/formal/proof_main_stage.py: added ~20 lines --
basically the unit test even though it's a formal proof

I'm estimating 27 days per 1k lines of code.

Luke, how does that sound?