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 |
2020-02-05 |
Luke Kenneth Casso... | add constants for opcode, EQ/GT/GE, probably better... |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | 80 char limit |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | more whitespace |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-02-05 |
Michael Nolan | Add module to handle partitioned eq, gt, and ge comparisons |
tree | commitdiff |
2020-02-05 |
Michael Nolan | Reverse order of gt combiner so it works MSB first |
tree | commitdiff |
2020-02-05 |
Michael Nolan | Add a signal to disable the gt inputs to gt_combiner |
tree | commitdiff |
2020-02-05 |
Michael Nolan | Add proof for equals module |
tree | commitdiff |
2020-02-05 |
Luke Kenneth Casso... | use EQCombiner in PartitionedEq experiment |
tree | commitdiff |
2020-02-04 |
Luke Kenneth Casso... | start partitioned mux class |
tree | commitdiff |
2020-02-04 |
Luke Kenneth Casso... | add experiments __init__.py |
tree | commitdiff |
2020-02-04 |
Luke Kenneth Casso... | remove comments, sort out string name, add __init__.pys |
tree | commitdiff |
2020-02-04 |
Luke Kenneth Casso... | bit of whitespace |
tree | commitdiff |
2020-02-04 |
Luke Kenneth Casso... | using format is a bit long for 1 argument, just use %d |
tree | commitdiff |
2020-02-04 |
Michael Nolan | Modify gt experiment to handle eq as well |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Add proof for using the greater than combiner to do... |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Add tree-based greater than experiment |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Move experiments with partition methods to a separate... |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Add tree based partitioned equals module |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Rename partition_combiner to eq_combiner |
tree | commitdiff |
2020-02-03 |
Michael Nolan | Add an alternative partitioned equals combiner module |
tree | commitdiff |
2020-02-03 |
Luke Kenneth Casso... | add first untested ge.py for partitioned signnal |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Handle -0 and +0 equals and < |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Add test case for NaN and -0 handling to fpmax |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Replace If and Switch statements with muxes in fpcmp.py |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Add formal proof for FLT and FLE for FPCMP |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Add FLT and FLE functionality to FPCMP |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Handle NaNs for FPCMP |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Add feq functionality to fpcmp |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Begin adding formal proof for fpcmp |
tree | commitdiff |
2020-02-02 |
Michael Nolan | Begin adding FPCMP module (FEQ, FLT, FLE) |
tree | commitdiff |
2020-01-31 |
Michael Nolan | Fix nmigen "domain" error when trying to run unit tests |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | tidyup |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | tidy up comments |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | working partitioned eqs function |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | whoops overwrote input variable |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | add comments |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | experimental eq (non-optimal) |
tree | commitdiff |
2020-01-30 |
Luke Kenneth Casso... | add "as_sig" function to PartitionPoints to get the... |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Use nmigen's built in formal runner instead of mine |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Fix handling of the .sby file directory when running... |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Use anyconst for the inputs of the dut in FMax formal... |
tree | commitdiff |
2020-01-28 |
Luke Kenneth Casso... | line-up, whitespace |
tree | commitdiff |
2020-01-28 |
Luke Kenneth Casso... | read proof file from any location |
tree | commitdiff |
2020-01-28 |
Michael Nolan | remove usage of m.If() in fpmax and replace with Mux |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Flesh out the formal proof for fmax |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Update gitignore in formal directories to ignore proof... |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Add rudimentary proof to fpmax |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Add fpmin handling to fpmax module |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Add FPMAX module |
tree | commitdiff |
2020-01-28 |
Luke Kenneth Casso... | allow fsgnj proof to be run from any location |
tree | commitdiff |
2020-01-28 |
Michael Nolan | FSGNJ: expandd formal proof to 16 and 64 bits |
tree | commitdiff |
2020-01-28 |
Michael Nolan | FSGNJ: Convert proof to use FPNumDecode |
tree | commitdiff |
2020-01-28 |
Michael Nolan | Add formal proof for FSGNJPipeMod module |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | remove unneeded comment |
tree | commitdiff |
2020-01-27 |
Michael Nolan | FSGNJ: Fix typo in abs |
tree | commitdiff |
2020-01-27 |
Michael Nolan | FSGNJ: Remove usage of FPNumDecode |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | add comments, remove one of the Muxes |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | reduce linelength <80chars |
tree | commitdiff |
2020-01-27 |
Michael Nolan | Add more/better comments to fsignj.py |
tree | commitdiff |
2020-01-27 |
Michael Nolan | FSGNJ: Replace use of Switch() with explicit muxes |
tree | commitdiff |
2020-01-27 |
Michael Nolan | FSGNJ: Use Floating point decode module instead of... |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | add (untested) partitioned xor/or/and operators |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | add copyright notices |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | reverse indices |
tree | commitdiff |
2020-01-27 |
Michael Nolan | Expand FSGNJ module to 16 and 64 bit floats |
tree | commitdiff |
2020-01-27 |
Michael Nolan | Pep8 cleanup of FSGNJ module |
tree | commitdiff |
2020-01-27 |
Michael Nolan | FSGNJ working now in all three modes |
tree | commitdiff |
2020-01-27 |
Michael Nolan | Add basic test for fsignj pipe |
tree | commitdiff |
2020-01-27 |
Michael Nolan | Add FSGNJ Pipeline stage and overall FSGNJ pipeline |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | trying to get recursive output working from partitioned eq |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | found bug in eq partition assignment |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | debug eq partition |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | add beginnings of partitioned eq into unit test |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | add partitioned eq module |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | convert to partition mask rather than partition points |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | add more to module docstring |
tree | commitdiff |
2020-01-24 |
Luke Kenneth Casso... | de-modulify PartitionedSignal, call "set_module" to... |
tree | commitdiff |
2020-01-22 |
Luke Kenneth Casso... | add partition test add unit test |
tree | commitdiff |
next |