2021-10-02 |
Luke Kenneth Casso... | add PartitionedSignal.all() and unit test, currently... |
tree | commitdiff |
2021-10-02 |
Luke Kenneth Casso... | add PartitionedAll operator, based on PartitionedBase |
tree | commitdiff |
2021-01-16 |
Luke Kenneth Casso... | convert EQCombiner to general-purpose, create XORCombiner |
tree | commitdiff |
2021-01-11 |
Cesar Strauss | Apparently PartitionedEqGtGe is already conformant |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Use styles in write_gtkw to simplify the trace description |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Factor-out the code to make equally spaced partition... |
tree | commitdiff |
2021-01-09 |
Cesar Strauss | Use the correct class name |
tree | commitdiff |
2021-01-09 |
Cesar Strauss | Check all possible opcodes for PartitionedEqGtGe |
tree | commitdiff |
2021-01-09 |
Cesar Strauss | Formal verification of PartitionedEqGtGe (EQ only) |
tree | commitdiff |
2021-01-09 |
Cesar Strauss | Post-process PartitionedEq to ripple the LSB |
tree | commitdiff |
2021-01-09 |
Cesar Strauss | Implement formal verification of PartitionedEq based... |
tree | commitdiff |
2020-05-01 |
Luke Kenneth Casso... | move ripple.py to nmutil |
tree | commitdiff |
2020-02-10 |
Michael Nolan | Fix flake8 errors in part_cmp/ |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-02-09 |
Luke Kenneth Casso... | add MoveMSBDown class to be used in carry-out |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | update docstring and copyright notice |
tree | commitdiff |
2020-02-07 |
Michael Nolan | Remove unneeded and gate in gt_combiner |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | grr correct syntax for assert |
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... | whoops syntax error |
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-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... | 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... | 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-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... | experimental eq (non-optimal) |
tree | commitdiff |
2020-01-27 |
Luke Kenneth Casso... | reverse indices |
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 |
|