projects
/
ieee754fpu.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Begin working on multi cycle float cordic
2020-04-16
Michael Nolan
Begin working on multi cycle float cordic
commit
|
commitdiff
|
tree
2020-04-14
Michael Nolan
Add experiment testing the effects of adding extra...
commit
|
commitdiff
|
tree
2020-04-02
Michael Nolan
Combine a selectable number of rounds into one pipeline...
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Cleanup
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Combine initial stage with first cordic stage
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Add actual tests to test_pipeline.py
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Register each pipeline stage
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Add test for sin_cos_pipe (kinda working)
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Add test for sin_cos_pipe (not working still)
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Connect up pipeline stages
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Begin work on pipelined cordic
commit
|
commitdiff
|
tree
2020-03-31
Michael Nolan
Cleanup
commit
|
commitdiff
|
tree
2020-03-31
Michael Nolan
Working sin/cos cordic
commit
|
commitdiff
|
tree
2020-03-31
Michael Nolan
sin/cos cordic partially working
commit
|
commitdiff
|
tree
2020-03-31
Michael Nolan
Add test for sin_cos.py
commit
|
commitdiff
|
tree
2020-03-31
Michael Nolan
Begin adding cordic
commit
|
commitdiff
|
tree
2020-02-27
Michael Nolan
Apply Luke's suggestions/FIXME's
commit
|
commitdiff
|
tree
2020-02-26
Michael Nolan
Add shift right to test_partsig and partsig
commit
|
commitdiff
|
tree
2020-02-26
Michael Nolan
Rename bitrev signal to shift_right (more descriptive)
commit
|
commitdiff
|
tree
2020-02-26
Michael Nolan
Shift left now working
commit
|
commitdiff
|
tree
2020-02-26
Michael Nolan
Remove element mux calculation from PartialResult
commit
|
commitdiff
|
tree
2020-02-26
Michael Nolan
Add bit reversal to part_shift_dynamic
commit
|
commitdiff
|
tree
2020-02-26
Michael Nolan
Add partitioned right shift to part_shift_scalar
commit
|
commitdiff
|
tree
2020-02-24
Michael Nolan
Add gated bit reversal module
commit
|
commitdiff
|
tree
2020-02-17
Michael Nolan
part_shift_scalar now has maked shift amounts working
commit
|
commitdiff
|
tree
2020-02-17
Michael Nolan
Fix proof crashing instead of giving a vcd
commit
|
commitdiff
|
tree
2020-02-17
Michael Nolan
In progress
commit
|
commitdiff
|
tree
2020-02-17
Michael Nolan
Add ShifterMask modules to part_shift_scalar
commit
|
commitdiff
|
tree
2020-02-14
Michael Nolan
re-add masking of the shift amount based on partition...
commit
|
commitdiff
|
tree
2020-02-14
Michael Nolan
Minor refactoring of part_shift_dynamic
commit
|
commitdiff
|
tree
2020-02-14
Michael Nolan
Refactor part_shift_dynamic.py
commit
|
commitdiff
|
tree
2020-02-14
Michael Nolan
Replace giant switch statement with mux chain
commit
|
commitdiff
|
tree
2020-02-12
Michael Nolan
Eliminate unused entries in shift matrix
commit
|
commitdiff
|
tree
2020-02-12
Michael Nolan
Reduce width of b operand to minimum size needed
commit
|
commitdiff
|
tree
2020-02-12
Michael Nolan
Expand proof_shift_dynamic to 32 bits
commit
|
commitdiff
|
tree
2020-02-12
Michael Nolan
Rename part_shift_scalar/ to part_shift
commit
|
commitdiff
|
tree
2020-02-12
Michael Nolan
Add formal proof for dynamic shifter
commit
|
commitdiff
|
tree
2020-02-12
Michael Nolan
Somewhat working dynamic shifter
commit
|
commitdiff
|
tree
2020-02-12
Michael Nolan
Fix whitespace
commit
|
commitdiff
|
tree
2020-02-12
Michael Nolan
Begin adding dynamic shifter
commit
|
commitdiff
|
tree
2020-02-12
Michael Nolan
Revise documentation for how carry works in adder.py
commit
|
commitdiff
|
tree
2020-02-11
Michael Nolan
Rudimentary working partitioned scalar shifter
commit
|
commitdiff
|
tree
2020-02-11
Michael Nolan
Begin adding partitioned scalar shifter
commit
|
commitdiff
|
tree
2020-02-10
Michael Nolan
Fix line length
commit
|
commitdiff
|
tree
2020-02-10
Michael Nolan
Fix carry output of adder/subtracter
commit
|
commitdiff
|
tree
2020-02-10
Michael Nolan
Fix flake8 errors in part_cmp/
commit
|
commitdiff
|
tree
2020-02-10
Michael Nolan
Fix flake8 errors in partsig.py
commit
|
commitdiff
|
tree
2020-02-10
Michael Nolan
Fix flake8 errors in test_partsig
commit
|
commitdiff
|
tree
2020-02-10
Michael Nolan
Minor cleanup
commit
|
commitdiff
|
tree
2020-02-10
Michael Nolan
Add neg operator to partsig.py
commit
|
commitdiff
|
tree
2020-02-10
Michael Nolan
Add subtraction to partsig.py
commit
|
commitdiff
|
tree
2020-02-09
Michael Nolan
Convert partsig to use the existing add_op function
commit
|
commitdiff
|
tree
2020-02-09
Michael Nolan
Add rudimentary test for partitioned add with carry
commit
|
commitdiff
|
tree
2020-02-09
Michael Nolan
Add carry out to adder
commit
|
commitdiff
|
tree
2020-02-09
Michael Nolan
Begin adding carry in and carry out support to adder
commit
|
commitdiff
|
tree
2020-02-07
Michael Nolan
Remove unneeded and gate in gt_combiner
commit
|
commitdiff
|
tree
2020-02-07
Michael Nolan
Fix != implementation in partsig.py
commit
|
commitdiff
|
tree
2020-02-07
Michael Nolan
Modify test_partsig to handle the new changes to reorder_bit...
commit
|
commitdiff
|
tree
2020-02-07
Michael Nolan
modify reorder_bits to copy the MSB of the partition...
commit
|
commitdiff
|
tree
2020-02-06
Michael Nolan
Fix test_partsig's invalid result for the equals test
commit
|
commitdiff
|
tree
2020-02-06
Michael Nolan
Add 0 assertions to the proof for eq_gt_ge
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
Fix order of results from PartitionedEqGtGe
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
move unused partitioned comparison modules to experiments/
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
move gt_combiner out of experiments/
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
Add module to handle partitioned eq, gt, and ge comparisons
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
Reverse order of gt combiner so it works MSB first
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
Add a signal to disable the gt inputs to gt_combiner
commit
|
commitdiff
|
tree
2020-02-05
Michael Nolan
Add proof for equals module
commit
|
commitdiff
|
tree
2020-02-04
Michael Nolan
Modify gt experiment to handle eq as well
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Add proof for using the greater than combiner to do...
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Add tree-based greater than experiment
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Move experiments with partition methods to a separate...
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Add tree based partitioned equals module
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Rename partition_combiner to eq_combiner
commit
|
commitdiff
|
tree
2020-02-03
Michael Nolan
Add an alternative partitioned equals combiner module
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Handle -0 and +0 equals and <
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Add test case for NaN and -0 handling to fpmax
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Replace If and Switch statements with muxes in fpcmp.py
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Add formal proof for FLT and FLE for FPCMP
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Add FLT and FLE functionality to FPCMP
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Handle NaNs for FPCMP
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Add feq functionality to fpcmp
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Begin adding formal proof for fpcmp
commit
|
commitdiff
|
tree
2020-02-02
Michael Nolan
Begin adding FPCMP module (FEQ, FLT, FLE)
commit
|
commitdiff
|
tree
2020-01-31
Michael Nolan
Fix nmigen "domain" error when trying to run unit tests
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Use nmigen's built in formal runner instead of mine
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Fix handling of the .sby file directory when running...
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Use anyconst for the inputs of the dut in FMax formal...
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
remove usage of m.If() in fpmax and replace with Mux
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Flesh out the formal proof for fmax
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Update gitignore in formal directories to ignore proof...
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Add rudimentary proof to fpmax
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Add fpmin handling to fpmax module
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Add FPMAX module
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
FSGNJ: expandd formal proof to 16 and 64 bits
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
FSGNJ: Convert proof to use FPNumDecode
commit
|
commitdiff
|
tree
2020-01-28
Michael Nolan
Add formal proof for FSGNJPipeMod module
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
FSGNJ: Fix typo in abs
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
FSGNJ: Remove usage of FPNumDecode
commit
|
commitdiff
|
tree
2020-01-27
Michael Nolan
Add more/better comments to fsignj.py
commit
|
commitdiff
|
tree
next