projects
/
ieee754fpu.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add formal proofs for other fadd widths, but with unittest.skip
[ieee754fpu.git]
/
src
/
ieee754
/
part_shift
/
2022-05-11
Jacob Lifshay
fix some borked imports
tree
|
commitdiff
2021-01-10
Cesar Strauss
Use len(sig) instead of sig.shape()[0]
tree
|
commitdiff
2020-02-27
Michael Nolan
Apply Luke's suggestions/FIXME's
tree
|
commitdiff
2020-02-26
Luke Kenneth Casso...
more fun comments
tree
|
commitdiff
2020-02-26
Luke Kenneth Casso...
shuffle and comments
tree
|
commitdiff
2020-02-26
Luke Kenneth Casso...
tiny code-shuffle on GatedBitReverse
tree
|
commitdiff
2020-02-26
Michael Nolan
Rename bitrev signal to shift_right (more descriptive)
tree
|
commitdiff
2020-02-26
Michael Nolan
Shift left now working
tree
|
commitdiff
2020-02-26
Michael Nolan
Remove element mux calculation from PartialResult
tree
|
commitdiff
2020-02-26
Michael Nolan
Add bit reversal to part_shift_dynamic
tree
|
commitdiff
2020-02-26
Michael Nolan
Add partitioned right shift to part_shift_scalar
tree
|
commitdiff
2020-02-24
Michael Nolan
Add gated bit reversal module
tree
|
commitdiff
2020-02-24
Luke Kenneth Casso...
zero out entirety of mask explicitly
tree
|
commitdiff
2020-02-24
Luke Kenneth Casso...
zero bitmask in Shifter
tree
|
commitdiff
2020-02-23
Luke Kenneth Casso...
skip shiftermask when bitwid=0
tree
|
commitdiff
2020-02-22
Luke Kenneth Casso...
fix shiftermask error on pwid=0
tree
|
commitdiff
2020-02-22
Luke Kenneth Casso...
append actual bit, see if coriolis issue goes away
tree
|
commitdiff
2020-02-21
Luke Kenneth Casso...
deal with zero-width ShiftMask
tree
|
commitdiff
2020-02-21
Luke Kenneth Casso...
deal with zero-width ShiftMask
tree
|
commitdiff
2020-02-19
Luke Kenneth Casso...
all signals must be reset_less
tree
|
commitdiff
2020-02-17
Michael Nolan
part_shift_scalar now has maked shift amounts working
tree
|
commitdiff
2020-02-17
Michael Nolan
Fix proof crashing instead of giving a vcd
tree
|
commitdiff
2020-02-17
Michael Nolan
In progress
tree
|
commitdiff
2020-02-17
Michael Nolan
Add ShifterMask modules to part_shift_scalar
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
whoops shift width reduction not active
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
scalar partitioned shift moved, change module import...
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
add module __init__.py
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
set initial element to b_interval shape
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
split out PartialResults to separate module
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
split out ShifterMask to separate module
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
truncate max_bits in shiftermask
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
really annoying simulation bug, dont know whats going on
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
clip shift amount
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
comment partial results
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
truncate partial result intermediate to width of partition
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
make things a little clearer, do the select and the...
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
reduce bitwidth of intermediate output
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
reduce partial result width
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
store partial result in signal otherwise it gets duplicated
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
stop expression-repeating cascade
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
limit shiftbits, partial results do not need to be...
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
store shiftmask bits in temporary otherwise the express...
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
make all signals resetless
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
comment why shift mask exists
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-02-15
Luke Kenneth Casso...
remove out_intervals (unused)
tree
|
commitdiff
2020-02-14
Michael Nolan
re-add masking of the shift amount based on partition...
tree
|
commitdiff
2020-02-14
Michael Nolan
Minor refactoring of part_shift_dynamic
tree
|
commitdiff
2020-02-14
Michael Nolan
Refactor part_shift_dynamic.py
tree
|
commitdiff
2020-02-14
Michael Nolan
Replace giant switch statement with mux chain
tree
|
commitdiff
2020-02-13
Luke Kenneth Casso...
reduce width of temporary intermediates
tree
|
commitdiff
2020-02-13
Luke Kenneth Casso...
mention being a bit like the gt-combiner
tree
|
commitdiff
2020-02-13
Luke Kenneth Casso...
OR element in after the MUX because its an invariant
tree
|
commitdiff
2020-02-13
Luke Kenneth Casso...
store intermediate in temp, append that to output
tree
|
commitdiff
2020-02-13
Luke Kenneth Casso...
experiment looking for minimum shift width
tree
|
commitdiff
2020-02-13
Luke Kenneth Casso...
limit matrix output width and limit shift amount
tree
|
commitdiff
2020-02-13
Luke Kenneth Casso...
use different style of output concatenation, reduce...
tree
|
commitdiff
2020-02-12
Michael Nolan
Eliminate unused entries in shift matrix
tree
|
commitdiff
2020-02-12
Michael Nolan
Reduce width of b operand to minimum size needed
tree
|
commitdiff
2020-02-12
Michael Nolan
Expand proof_shift_dynamic to 32 bits
tree
|
commitdiff
2020-02-12
Luke Kenneth Casso...
comment the dynamic shifter
tree
|
commitdiff
2020-02-12
Michael Nolan
Rename part_shift_scalar/ to part_shift
tree
|
commitdiff