2020-02-02 |
Michael Nolan | Begin adding formal proof for fpcmp |
commit | commitdiff | tree |
2020-02-02 |
Michael Nolan | Begin adding FPCMP module (FEQ, FLT, FLE) |
commit | commitdiff | tree |
2020-01-31 |
Michael Nolan | Fix nmigen "domain" error when trying to run unit tests |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | tidyup |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | tidy up comments |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | working partitioned eqs function |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | whoops overwrote input variable |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | add comments |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | experimental eq (non-optimal) |
commit | commitdiff | tree |
2020-01-30 |
Luke Kenneth... | add "as_sig" function to PartitionPoints to get the... |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | Use nmigen's built in formal runner instead of mine |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | Fix handling of the .sby file directory when running... |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | Use anyconst for the inputs of the dut in FMax formal... |
commit | commitdiff | tree |
2020-01-28 |
Luke Kenneth... | line-up, whitespace |
commit | commitdiff | tree |
2020-01-28 |
Luke Kenneth... | read proof file from any location |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | remove usage of m.If() in fpmax and replace with Mux |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | Flesh out the formal proof for fmax |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | Update gitignore in formal directories to ignore proof... |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | Add rudimentary proof to fpmax |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | Add fpmin handling to fpmax module |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | Add FPMAX module |
commit | commitdiff | tree |
2020-01-28 |
Luke Kenneth... | allow fsgnj proof to be run from any location |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | FSGNJ: expandd formal proof to 16 and 64 bits |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | FSGNJ: Convert proof to use FPNumDecode |
commit | commitdiff | tree |
2020-01-28 |
Michael Nolan | Add formal proof for FSGNJPipeMod module |
commit | commitdiff | tree |
2020-01-27 |
Luke Kenneth... | remove unneeded comment |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | FSGNJ: Fix typo in abs |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | FSGNJ: Remove usage of FPNumDecode |
commit | commitdiff | tree |
2020-01-27 |
Luke Kenneth... | add comments, remove one of the Muxes |
commit | commitdiff | tree |
2020-01-27 |
Luke Kenneth... | reduce linelength <80chars |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | Add more/better comments to fsignj.py |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | FSGNJ: Replace use of Switch() with explicit muxes |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | FSGNJ: Use Floating point decode module instead of... |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | Move patches in README to separate files |
commit | commitdiff | tree |
2020-01-27 |
Luke Kenneth... | add (untested) partitioned xor/or/and operators |
commit | commitdiff | tree |
2020-01-27 |
Luke Kenneth... | add copyright notices |
commit | commitdiff | tree |
2020-01-27 |
Luke Kenneth... | reverse indices |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | Expand FSGNJ module to 16 and 64 bit floats |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | Pep8 cleanup of FSGNJ module |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | FSGNJ working now in all three modes |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | Add basic test for fsignj pipe |
commit | commitdiff | tree |
2020-01-27 |
Michael Nolan | Add FSGNJ Pipeline stage and overall FSGNJ pipeline |
commit | commitdiff | tree |
2020-01-24 |
Luke Kenneth... | trying to get recursive output working from partitioned eq |
commit | commitdiff | tree |
2020-01-24 |
Luke Kenneth... | found bug in eq partition assignment |
commit | commitdiff | tree |
2020-01-24 |
Luke Kenneth... | debug eq partition |
commit | commitdiff | tree |
2020-01-24 |
Luke Kenneth... | add beginnings of partitioned eq into unit test |
commit | commitdiff | tree |
2020-01-24 |
Luke Kenneth... | add partitioned eq module |
commit | commitdiff | tree |
2020-01-24 |
Luke Kenneth... | convert to partition mask rather than partition points |
commit | commitdiff | tree |
2020-01-24 |
Luke Kenneth... | add more to module docstring |
commit | commitdiff | tree |
2020-01-24 |
Luke Kenneth... | de-modulify PartitionedSignal, call "set_module" to... |
commit | commitdiff | tree |
2020-01-22 |
Luke Kenneth... | add partition test add unit test |
commit | commitdiff | tree |
2020-01-22 |
Luke Kenneth... | add __xor__ and __add__ |
commit | commitdiff | tree |
2020-01-22 |
Luke Kenneth... | add partitioned signal class |
commit | commitdiff | tree |
2020-01-17 |
Luke Kenneth... | min/max in Signal deprecated in nmigen |
commit | commitdiff | tree |
2020-01-17 |
Luke Kenneth... | update to new revision nmigen |
commit | commitdiff | tree |
2020-01-06 |
Luke Kenneth... | split out adder code (PartitionedAdder) into module... |
commit | commitdiff | tree |
2019-11-19 |
Luke Kenneth... | import global not relative |
commit | commitdiff | tree |
2019-11-19 |
Luke Kenneth... | add bug #148 record |
commit | commitdiff | tree |
2019-11-19 |
Luke Kenneth... | clarify StageChain |
commit | commitdiff | tree |
2019-11-19 |
Luke Kenneth... | clarify whats being obtained from _connect_out function |
commit | commitdiff | tree |
2019-11-19 |
Luke Kenneth... | documentation on pipeline API |
commit | commitdiff | tree |
2019-11-19 |
Luke Kenneth... | document iocontrol module properly |
commit | commitdiff | tree |
2019-08-28 |
Luke Kenneth... | create SIMD pipe multiply unit test |
commit | commitdiff | tree |
2019-08-26 |
Luke Kenneth... | add docstring Mul8_16_32_64 only for testing |
commit | commitdiff | tree |
2019-08-26 |
Luke Kenneth... | add mul_pipe.py - pipeline version of multiply.py |
commit | commitdiff | tree |
2019-08-26 |
Luke Kenneth... | rename inputs_ to terms_ |
commit | commitdiff | tree |
2019-08-26 |
Luke Kenneth... | update docstring |
commit | commitdiff | tree |
2019-08-26 |
Luke Kenneth... | code-morph AddReduceInternal: remove self.inputs, repla... |
commit | commitdiff | tree |
2019-08-26 |
Luke Kenneth... | remove unneeded variables |
commit | commitdiff | tree |
2019-08-26 |
Luke Kenneth... | use PipeModBase and PipelineSpec in Intermediates and... |
commit | commitdiff | tree |
2019-08-26 |
Luke Kenneth... | use PipelineSpec and PipeModBase in AddReduce |
commit | commitdiff | tree |
2019-08-26 |
Luke Kenneth... | use PipelineSpec object in AllTerms |
commit | commitdiff | tree |
2019-08-26 |
Luke Kenneth... | remove unneeded argument (register_levels/n_levels... |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | document weird int2float bug |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | use Mux instead of m.If/Else in int2float fcvt |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | remove fprsqrt m.If/Elif/Elif, replace with Mux |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | remove m.If/Elif in fpdiv sqrt, replace with Mux |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | remove m.If/Elif from fpdiv specialcases |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | remove m.If/Elif/Elif replace with Mux |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | rewrite fpadd specialcases to use Mux instead of m... |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | code-morph on add special-cases |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | remove weirdness |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | remove out_do_z, update comments (whitespace) |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | code comments |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | rework add aligner to use Mux instead of m.If/Else |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | remove use of out_do_z in add align |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | rework add1 to not use out_do_z and use Mux instead... |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | reorg add0 to use Mux instead of m.If/Else |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | use Mux instead of m.If/Elif on add sign |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | remove out_do_z from add0 |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | remove use of out_do_z, use Mux instead of m.If/Else |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | remove out_do_z test |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | rework roundz to use Mux |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | use Mux in fp corrections |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | cleanup on msb1 and align: use Mux, remove out_do_z |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | morph mul1 to use Mux rather than m.If/Else |
commit | commitdiff | tree |
2019-08-25 |
Luke Kenneth... | do not make mul1 processing conditional on out_do_z |
commit | commitdiff | tree |
2019-08-23 |
Luke Kenneth... | add Stage API setup/process to AddReduceInternal |
commit | commitdiff | tree |
2019-08-23 |
Luke Kenneth... | add in setup/process functions in multiply |
commit | commitdiff | tree |
2019-08-23 |
Luke Kenneth... | remove use of AddReduce, use AddReduceInternal instead |
commit | commitdiff | tree |
next |