Add proof for clz.py

Add count leading zeros module (should probably go somewhere else)

Have sin_cos pipeline use bigfloat calculated atan table

Add cordic stages to fp cordic pipeline

Add stage to convert input float to fixed point number

Begin adding floating point cordic pipeline

Allow cordic to work with 64 bit floats

move ripple.py to nmutil

add libmpfr-dev to .gitlab-ci.yml

Change tabs to spaces in .gitlab-ci.yml

Add libgmp-dev to .gitlab-ci.yml

Use python bigfloat to calculate atan tables

Revert "Use higher precision arithmetic when calculating the atan2 table"

This reverts commit 7aea44d471226db693ee99fd272504248d57375b.

Use higher precision arithmetic when calculating the atan2 table

change test_fpsin to use 32 bit floats

Run the cordic for the proper number of iterations

Working (ish) fpsin iterative cordic

Assert that fpsin_cos converts floats to fixed correctly

Begin working on multi cycle float cordic

Add experiment testing the effects of adding extra bits to cordic

add rtlil conversion and fix yield from in Cordic Data

run tests in parallel

building sfpy works

add not yet working .gitlab-ci.yml

Combine a selectable number of rounds into one pipeline stage

Cleanup

Combine initial stage with first cordic stage

Add actual tests to test_pipeline.py

Register each pipeline stage

Add test for sin_cos_pipe (kinda working)

Add test for sin_cos_pipe (not working still)

Connect up pipeline stages

Begin work on pipelined cordic

Cleanup

Working sin/cos cordic

sin/cos cordic partially working

Add test for sin_cos.py

Begin adding cordic

yet another nuisance

annoying, see https://github.com/nmigen/nmigen/issues/302
shift can no longer be signed, even if the amount is guaranteed signed

Apply Luke's suggestions/FIXME's

more fun comments

shuffle and comments

update comments on test partitioned signal

tiny code-shuffle on GatedBitReverse

Add shift right to test_partsig and partsig

Rename bitrev signal to shift_right (more descriptive)

Shift left now working

Remove element mux calculation from PartialResult

Add bit reversal to part_shift_dynamic

Shift Right not working yet

Add partitioned right shift to part_shift_scalar

Add gated bit reversal module

zero out entirety of mask explicitly

zero bitmask in Shifter

skip shiftermask when bitwid=0

fix shiftermask error on pwid=0

append actual bit, see if coriolis issue goes away

must declare carry equal to width of partitions+1

add carry (not zeros, a Const of correct width)

zero carry-in on __neg__

deal with zero-width ShiftMask

deal with zero-width ShiftMask

use alternative class as an experiment for coriolis2

test longer name

change name to not clash with cell name add1

stop at end of mask index

ignore last bit of partition mask

test shift against scalar b input

all signals must be reset_less

add fpflags to Overflow class

comment that roundz is a property

part_shift_scalar now has maked shift amounts working

Fix proof crashing instead of giving a vcd

In progress

Add ShifterMask modules to part_shift_scalar

add in PartitionedScalarShift, ready for testing

whoops shift width reduction not active

scalar partitioned shift moved, change module import name

add module __init__.py

set initial element to b_interval shape

split out PartialResults to separate module

split out ShifterMask to separate module

truncate max_bits in shiftermask

really annoying simulation bug, dont know whats going on

clip shift amount

comment partial results

truncate partial result intermediate to width of partition

make things a little clearer, do the select and the OR separately

reduce bitwidth of intermediate output

reduce partial result width

store partial result in signal otherwise it gets duplicated

stop expression-repeating cascade

limit shiftbits, partial results do not need to be so long

store shiftmask bits in temporary otherwise the expression gets duplicated

make all signals resetless

comment why shift mask exists

whitespace

remove out_intervals (unused)

fix the shift-test to truncate b-input

reduce range of b in shift test