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-08 |
Luke Kenneth... | minor codeshuffle, split out check of PartitionedSignal... |
commit | commitdiff | tree |
2020-02-08 |
Luke Kenneth... | add comments |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | tidyup PartitionedAdd |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | add shift operators TODO on partsig |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | comment TODO on __neg__ operation |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | invert partitioned op is just a bit-wise invert |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | update docstring and copyright notice |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | fix muxop test in part_sig test |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | fix part_mux to actually use Mux (duh) |
commit | commitdiff | tree |
2020-02-07 |
Michael Nolan | Remove unneeded and gate in gt_combiner |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | fix syntax errors for test_partsig |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | grr correct syntax for assert |
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 reorde... |
commit | commitdiff | tree |
2020-02-07 |
Michael Nolan | modify reorder_bits to copy the MSB of the partition... |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | add unit test for part_mux |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | whoops syntax error |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | add first version of part_mux |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | use assert not raise ValueError |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | ripple of LSB from compare-operations, successful |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | add first (untested) version of ripple-LSB |
commit | commitdiff | tree |
2020-02-07 |
Luke Kenneth... | add extra operators to be implemented to partsig |
commit | commitdiff | tree |
2020-02-06 |
Luke Kenneth... | add stub operators to partsig to help make it clear... |
commit | commitdiff | tree |
2020-02-06 |
Luke Kenneth... | TODO on NE partsig op |
commit | commitdiff | tree |
2020-02-06 |
Luke Kenneth... | make common function for testing comparators |
commit | commitdiff | tree |
2020-02-06 |
Luke Kenneth... | restructure partsig, use common function for Partitione... |
commit | commitdiff | tree |
2020-02-06 |
Luke Kenneth... | fix partsig gt test, add ge test |
commit | commitdiff | tree |
2020-02-06 |
Luke Kenneth... | add __ge__ partsig operator |
commit | commitdiff | tree |
2020-02-06 |
Luke Kenneth... | add gt part_sig operator |
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 |
Luke Kenneth... | add extra tests, find out whats going on with eq_gt_ge |
commit | commitdiff | tree |
2020-02-05 |
Luke Kenneth... | quick test shows eq_gt_ge.py returning output in revers... |
commit | commitdiff | tree |
2020-02-05 |
Luke Kenneth... | debug string for part-eq is an eq not + |
commit | commitdiff | tree |
2020-02-05 |
Luke Kenneth... | use PartitionedEqGtGe for eq function in partitioned... |
commit | commitdiff | tree |
2020-02-05 |
Luke Kenneth... | add constants for opcode, EQ/GT/GE, probably better... |
commit | commitdiff | tree |
2020-02-05 |
Luke Kenneth... | whitespace |
commit | commitdiff | tree |
2020-02-05 |
Luke Kenneth... | 80 char limit |
commit | commitdiff | tree |
2020-02-05 |
Luke Kenneth... | whitespace |
commit | commitdiff | tree |
2020-02-05 |
Luke Kenneth... | more whitespace |
commit | commitdiff | tree |
2020-02-05 |
Luke Kenneth... | whitespace |
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-05 |
Luke Kenneth... | use EQCombiner in PartitionedEq experiment |
commit | commitdiff | tree |
2020-02-04 |
Luke Kenneth... | start partitioned mux class |
commit | commitdiff | tree |
2020-02-04 |
Luke Kenneth... | add experiments __init__.py |
commit | commitdiff | tree |
2020-02-04 |
Luke Kenneth... | remove comments, sort out string name, add __init__.pys |
commit | commitdiff | tree |
2020-02-04 |
Luke Kenneth... | bit of whitespace |
commit | commitdiff | tree |
2020-02-04 |
Luke Kenneth... | using format is a bit long for 1 argument, just use %d |
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-03 |
Luke Kenneth... | add first untested ge.py for partitioned signnal |
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-30 |
Luke Kenneth... | tidyup |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | tidy up comments |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | working partitioned eqs function |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | whoops overwrote input variable |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | add comments |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | experimental eq (non-optimal) |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | add "as_sig" function to PartitionPoints to get the... |
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 |
Luke Kenneth... | line-up, whitespace |
commit | commitdiff | tree |
2020-01-28 |
Luke Kenneth... | read proof file from any location |
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 |
Luke Kenneth... | allow fsgnj proof to be run from any location |
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 |
Luke Kenneth... | remove unneeded comment |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | FSGNJ: Fix typo in abs |
commit | commitdiff | tree |
next |