2021-09-30 |
Luke Kenneth Casso... | remove PartitionedSignal.eq, expectation is to use... |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | whitespace / comments |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | add use of PartitionedAssign in PartitionedSignal,... |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | add PartitionedSignal.shape function |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | add PartitionedSignal.__len__ override, redirects to... |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | reduce part_mask in partsig tests to 3 (actual number... |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | unit test for PartitionedSignal.__Cat__ |
tree | commitdiff |
2021-09-28 |
Luke Kenneth Casso... | move PCat to separate module |
tree | commitdiff |
2021-09-28 |
Luke Kenneth Casso... | add PartitionedSignal.__Cat__ override |
tree | commitdiff |
2021-09-28 |
Luke Kenneth Casso... | add PartitionedSignal.__Mux__ unit test |
tree | commitdiff |
2021-09-28 |
Luke Kenneth Casso... | add PartitionedSignal.__Mux__ using existing PMux function |
tree | commitdiff |
2021-09-27 |
Luke Kenneth Casso... | derive PartitionedSignal from UserValue (temporarily... |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Convert add and sub to return PartitionedSignal |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Revert order of operations in PartitionedSignal.implies() |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Clarify comment about operations returning plain Signals |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Convert all bitwise logical ops to return PartitionedSignal |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Also copy the module in PartotionSignal.like() |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Return a PartitionedSignal from the bitwise "not" operation |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Implement PartitionedSignal.like() |
tree | commitdiff |
2021-01-23 |
Cesar Strauss | Use z3 solver instead of yices2 when convenient |
tree | commitdiff |
2021-01-20 |
Cesar Strauss | Add tests for bitwise logical operators |
tree | commitdiff |
2021-01-20 |
Cesar Strauss | Reverse order of operations in implies() |
tree | commitdiff |
2021-01-17 |
Cesar Strauss | Fix PartitionedSignal.neg and its test case |
tree | commitdiff |
2021-01-17 |
Cesar Strauss | Allow the proof driver to check operations with integer... |
tree | commitdiff |
2021-01-16 |
Cesar Strauss | Use RipleLSB in PartitionedXOR, and invert outputs ls180-24jan2020 |
tree | commitdiff |
2021-01-16 |
Luke Kenneth Casso... | add first cut at formal proof for PartitionedXOR |
tree | commitdiff |
2021-01-16 |
Luke Kenneth Casso... | add PartitionedXOR to PartitionedSignal (xor operator) |
tree | commitdiff |
2021-01-16 |
Cesar Strauss | Check PartitionedSignal.any(). |
tree | commitdiff |
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 |
next |