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 |
Luke Kenneth Casso... | fix the shift-test to truncate b-input |
tree | commitdiff |
2020-02-14 |
Luke Kenneth Casso... | reduce range of b in shift test |
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-14 |
Luke Kenneth Casso... | add beginnings of shift unit test for partsig |
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 |
2020-02-12 |
Michael Nolan | Add formal proof for dynamic shifter |
tree | commitdiff |
2020-02-12 |
Michael Nolan | Somewhat working dynamic shifter |
tree | commitdiff |
2020-02-12 |
Michael Nolan | Fix whitespace |
tree | commitdiff |
2020-02-12 |
Michael Nolan | Begin adding dynamic shifter |
tree | commitdiff |
2020-02-12 |
Luke Kenneth Casso... | add bit of extra explanatory comment for carry-ripple... |
tree | commitdiff |
2020-02-12 |
Michael Nolan | Revise documentation for how carry works in adder.py |
tree | commitdiff |
2020-02-11 |
Luke Kenneth Casso... | allow factor of 2 in variance on random numbers |
tree | commitdiff |
2020-02-11 |
Luke Kenneth Casso... | test fp downconvert on min and normal numbers, +/-... |
tree | commitdiff |
2020-02-11 |
Luke Kenneth Casso... | add range-focussed fp64/32-to-32/16 downconversion... |
tree | commitdiff |
2020-02-11 |
Michael Nolan | Rudimentary working partitioned scalar shifter |
tree | commitdiff |
2020-02-11 |
Michael Nolan | Begin adding partitioned scalar shifter |
tree | commitdiff |
2020-02-10 |
Luke Kenneth Casso... | document partsig operators |
tree | commitdiff |
2020-02-10 |
Michael Nolan | Fix line length |
tree | commitdiff |
2020-02-10 |
Michael Nolan | Fix carry output of adder/subtracter |
tree | commitdiff |
2020-02-10 |
Michael Nolan | Fix flake8 errors in part_cmp/ |
tree | commitdiff |
2020-02-10 |
Michael Nolan | Fix flake8 errors in partsig.py |
tree | commitdiff |
2020-02-10 |
Michael Nolan | Fix flake8 errors in test_partsig |
tree | commitdiff |
2020-02-10 |
Michael Nolan | Minor cleanup |
tree | commitdiff |
2020-02-10 |
Michael Nolan | Add neg operator to partsig.py |
tree | commitdiff |
2020-02-10 |
Michael Nolan | Add subtraction to partsig.py |
tree | commitdiff |
2020-02-10 |
Luke Kenneth Casso... | bug #113, add range-limited random numbers more likely... |
tree | commitdiff |
2020-02-10 |
Luke Kenneth Casso... | getting fed up of amount of test files being dropped... |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | invert after all() not before |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | boolean logic invert bool to all |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | replace ~bool() with all() |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | use nmigen all() instead of invert-invert bool() |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | give a_bit proper name, make reset_less |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | add docstring explaining partitioned-add |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | add MoveMSBDown class to be used in carry-out |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | add placeholder for test sub in partsig |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | add 100 random integer tests to partitioned add |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | add 100 random integer tests to partitioned add |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | use nmigen "implies" operator (really convenient) |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | whitespace cleanup, reduce 80 char length |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | add NotImplementedError into partsig |
tree | commitdiff |
2020-02-09 |
Michael Nolan | Convert partsig to use the existing add_op function |
tree | commitdiff |
2020-02-09 |
Michael Nolan | Add rudimentary test for partitioned add with carry |
tree | commitdiff |
2020-02-09 |
Michael Nolan | Add carry out to adder |
tree | commitdiff |
2020-02-09 |
Michael Nolan | Begin adding carry in and carry out support to adder |
tree | commitdiff |
2020-02-08 |
Luke Kenneth Casso... | minor codeshuffle, split out check of PartitionedSignal... |
tree | commitdiff |
2020-02-08 |
Luke Kenneth Casso... | add comments |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | tidyup PartitionedAdd |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | add shift operators TODO on partsig |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | comment TODO on __neg__ operation |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | invert partitioned op is just a bit-wise invert |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | update docstring and copyright notice |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | fix muxop test in part_sig test |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | fix part_mux to actually use Mux (duh) |
tree | commitdiff |
2020-02-07 |
Michael Nolan | Remove unneeded and gate in gt_combiner |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | fix syntax errors for test_partsig |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | grr correct syntax for assert |
tree | commitdiff |
2020-02-07 |
Michael Nolan | Fix != implementation in partsig.py |
tree | commitdiff |
2020-02-07 |
Michael Nolan | Modify test_partsig to handle the new changes to reorde... |
tree | commitdiff |
2020-02-07 |
Michael Nolan | modify reorder_bits to copy the MSB of the partition... |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | add unit test for part_mux |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | whoops syntax error |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | add first version of part_mux |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | use assert not raise ValueError |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | ripple of LSB from compare-operations, successful |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | add first (untested) version of ripple-LSB |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | add extra operators to be implemented to partsig |
tree | commitdiff |
2020-02-06 |
Luke Kenneth Casso... | add stub operators to partsig to help make it clear... |
tree | commitdiff |
2020-02-06 |
Luke Kenneth Casso... | TODO on NE partsig op |
tree | commitdiff |
2020-02-06 |
Luke Kenneth Casso... | make common function for testing comparators |
tree | commitdiff |
2020-02-06 |
Luke Kenneth Casso... | restructure partsig, use common function for Partitione... |
tree | commitdiff |
2020-02-06 |
Luke Kenneth Casso... | fix partsig gt test, add ge test |
tree | commitdiff |
2020-02-06 |
Luke Kenneth Casso... | add __ge__ partsig operator |
tree | commitdiff |
2020-02-06 |
Luke Kenneth Casso... | add gt part_sig operator |
tree | commitdiff |
2020-02-06 |
Michael Nolan | Fix test_partsig's invalid result for the equals test |
tree | commitdiff |
2020-02-06 |
Michael Nolan | Add 0 assertions to the proof for eq_gt_ge |
tree | commitdiff |
2020-02-05 |
Michael Nolan | Fix order of results from PartitionedEqGtGe |
tree | commitdiff |
2020-02-05 |
Michael Nolan | move unused partitioned comparison modules to experiments/ |
tree | commitdiff |
2020-02-05 |
Michael Nolan | move gt_combiner out of experiments/ |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | add extra tests, find out whats going on with eq_gt_ge |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | quick test shows eq_gt_ge.py returning output in revers... |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | debug string for part-eq is an eq not + |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | use PartitionedEqGtGe for eq function in partitioned... |
tree | commitdiff |
next |