2021-01-16 |
Luke Kenneth Casso... | add partitioned signal any() operator |
tree | commitdiff |
2021-01-16 |
Cesar Strauss | Allow a variable number of operands in the proof driver |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Implement checks for all the rest of the comparison... |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Generate and check expected values for all possible... |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Generate shifted down input and outputs |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Use styles in write_gtkw to simplify the trace description |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Add the Gate Generator to the ComparisonOpDriver |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Factor-out the code to make equally spaced partition... |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Start proof for PartitionedSignal equals operator |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Update Simulator interface to current nMigen |
tree | commitdiff |
2021-01-10 |
Cesar Strauss | Use len(sig) instead of sig.shape()[0] |
tree | commitdiff |
2021-01-08 |
Cesar Strauss | Calculate the expected value, test and assert |
tree | commitdiff |
2021-01-08 |
Cesar Strauss | Split-out the gate generator from the proof |
tree | commitdiff |
2021-01-07 |
Cesar Strauss | Compare the expected output for all partition sizes |
tree | commitdiff |
2021-01-06 |
Cesar Strauss | Generate shifted down outputs |
tree | commitdiff |
2021-01-05 |
Cesar Strauss | Generate the bit pattern of gates corresponding to... |
tree | commitdiff |
2021-01-04 |
Cesar Strauss | Work only with nibbles on the ascending cascade |
tree | commitdiff |
2021-01-04 |
Cesar Strauss | Fill the second nibble of the pattern |
tree | commitdiff |
2021-01-04 |
Cesar Strauss | Restart the pattern at partition boundaries |
tree | commitdiff |
2021-01-04 |
Cesar Strauss | Start work on improving formal verification of Partitio... |
tree | commitdiff |
2020-12-28 |
Luke Kenneth Casso... | partsig: redirect bool to any for now, and use a =... |
tree | commitdiff |
2020-12-27 |
Luke Kenneth Casso... | comment PartitionedSignal lt/le |
tree | commitdiff |
2020-05-08 |
Michael Nolan | Allow partsig to take in a PartitionPoints directly |
tree | commitdiff |
2020-02-26 |
Luke Kenneth Casso... | update comments on test partitioned signal |
tree | commitdiff |
2020-02-26 |
Michael Nolan | Add shift right to test_partsig and partsig |
tree | commitdiff |
2020-02-22 |
Luke Kenneth Casso... | must declare carry equal to width of partitions+1 |
tree | commitdiff |
2020-02-22 |
Luke Kenneth Casso... | add carry (not zeros, a Const of correct width) |
tree | commitdiff |
2020-02-21 |
Luke Kenneth Casso... | zero carry-in on __neg__ |
tree | commitdiff |
2020-02-21 |
Luke Kenneth Casso... | use alternative class as an experiment for coriolis2 |
tree | commitdiff |
2020-02-20 |
Luke Kenneth Casso... | test longer name |
tree | commitdiff |
2020-02-20 |
Luke Kenneth Casso... | change name to not clash with cell name add1 |
tree | commitdiff |
2020-02-19 |
Luke Kenneth Casso... | test shift against scalar b input |
tree | commitdiff |
2020-02-15 |
Luke Kenneth Casso... | add in PartitionedScalarShift, ready for testing |
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 |
Luke Kenneth Casso... | add beginnings of shift unit test for partsig |
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 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-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... | 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-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... | 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... | fix muxop test in part_sig test |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | fix syntax errors for test_partsig |
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 |
Luke Kenneth Casso... | add unit test for part_mux |
tree | commitdiff |
2020-02-07 |
Luke Kenneth Casso... | ripple of LSB from compare-operations, successful |
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-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... | use EQCombiner in PartitionedEq experiment |
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-27 |
Luke Kenneth Casso... | add (untested) partitioned xor/or/and operators |
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... | 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 |
2020-01-22 |
Luke Kenneth Casso... | add __xor__ and __add__ |
tree | commitdiff |
2020-01-22 |
Luke Kenneth Casso... | add partitioned signal class |
tree | commitdiff |
|