2021-09-30 |
Luke Kenneth Casso... | rework partsig TestAssign to cope with different types... |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | fix PartitionedAssign, PAssign, and PartitionedSignal... |
tree | commitdiff |
2021-09-30 |
Luke Kenneth Casso... | correct test_partsig name, remove redundant code |
tree | commitdiff |
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 support in PartitionedAssign for scalar signals |
tree | commitdiff |
2021-09-29 |
Luke Kenneth Casso... | add PartitionedAssign class for use 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... | add assert to check partition jump point size |
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... | corrections to PartitionedCat after corrections to... |
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-09-27 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2021-09-24 |
Luke Kenneth Casso... | fix chunking to get correct order for PartitionedCat |
tree | commitdiff |
2021-09-24 |
Luke Kenneth Casso... | add first cut at PartitionedSignal "Cat" |
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-18 |
Cesar Strauss | Do not register carry-out on the PartitionedAdder |
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 first cut (untested) of PartitionedXOR |
tree | commitdiff |
2021-01-16 |
Luke Kenneth Casso... | convert EQCombiner to general-purpose, create XORCombiner |
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-11 |
Cesar Strauss | Apparently PartitionedEqGtGe is already conformant |
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-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 |
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-07-20 |
Jacob Lifshay | disable faulty bit_width reduction logic in DivPipeCore |
tree | commitdiff |
2020-07-20 |
Jacob Lifshay | fix mismatched comb process delays |
tree | commitdiff |
2020-07-20 |
Jacob Lifshay | add process tracing |
tree | commitdiff |
2020-07-15 |
Luke Kenneth Casso... | remove FPPipeContext (moved to nmutil), name-substitute... |
tree | commitdiff |
2020-07-13 |
Jacob Lifshay | working on fixing DivPipeCore's test cases |
tree | commitdiff |
2020-07-13 |
Jacob Lifshay | clean up DivPipeCoreConfig API |
tree | commitdiff |
2020-07-10 |
Luke Kenneth Casso... | whoops missed set up of temp variable bw |
tree | commitdiff |
2020-07-10 |
Luke Kenneth Casso... | only pass in lhs bit_width * 2 for UDivRem |
tree | commitdiff |
2020-07-06 |
Luke Kenneth Casso... | add arguments to MulPipe_8_16_32_64 |
tree | commitdiff |
2020-07-06 |
Luke Kenneth Casso... | fix test_mul_pipe.py unit test |
tree | commitdiff |
2020-07-04 |
Luke Kenneth Casso... | continue reducing length of signals in div core |
tree | commitdiff |
2020-07-04 |
Luke Kenneth Casso... | attempt to get simulation for div test_core.py running |
tree | commitdiff |
2020-07-04 |
Luke Kenneth Casso... | reduce compare lengths to *2 rather than *3 |
tree | commitdiff |
2020-07-04 |
Luke Kenneth Casso... | whoops set pass_flag[0] always true |
tree | commitdiff |
2020-07-04 |
Luke Kenneth Casso... | add feedback_width argument to runfp for testing |
tree | commitdiff |
2020-07-03 |
Luke Kenneth Casso... | allow arrangement for feedback loops to be possible... |
tree | commitdiff |
2020-07-03 |
Luke Kenneth Casso... | cut top trial comparison |
tree | commitdiff |
2020-07-03 |
Luke Kenneth Casso... | remove use of Array, replace with treereduce |
tree | commitdiff |
2020-07-03 |
Luke Kenneth Casso... | cut root_times_radicand if not doing Sqrt |
tree | commitdiff |
2020-07-03 |
Luke Kenneth Casso... | add "supported" option to div core |
tree | commitdiff |
2020-06-09 |
Luke Kenneth Casso... | fix imports (allows test command to be run from non... |
tree | commitdiff |
2020-06-04 |
Jacob Lifshay | move mulAddRecFN.py and nmigen_div_experiment.py to... |
tree | commitdiff |
2020-05-22 |
Jacob Lifshay | add DivPipeOp in fpdiv/op.py |
tree | commitdiff |
2020-05-16 |
Michael Nolan | Fix handling of FPPipeContext.ports() |
tree | commitdiff |
2020-05-08 |
Michael Nolan | Allow partsig to take in a PartitionPoints directly |
tree | commitdiff |
2020-05-05 |
Michael Nolan | Add in FPPipeContext to the cordic pipeline |
tree | commitdiff |
2020-05-05 |
Michael Nolan | Use clz.py from nmutil |
tree | commitdiff |
2020-05-05 |
Luke Kenneth Casso... | track down error in CORDIC pipe_data, "yield from"... |
tree | commitdiff |
2020-05-05 |
Luke Kenneth Casso... | whoops cant output .il at the moment |
tree | commitdiff |
2020-05-05 |
Luke Kenneth Casso... | add progress counter |
tree | commitdiff |
2020-05-05 |
Luke Kenneth Casso... | allow rtlil file to be created in cordic |
tree | commitdiff |
next |