projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add PartitionedXOR to PartitionedSignal (xor operator)
[ieee754fpu.git] / src /
2021-01-16 Luke Kenneth Casso... add PartitionedXOR to PartitionedSignal (xor operator) tree | commitdiff
2021-01-16 Cesar StraussCheck 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 StraussAllow a variable number of operands in the proof driver tree | commitdiff
2021-01-11 Cesar StraussApparently PartitionedEqGtGe is already conformant tree | commitdiff
2021-01-10 Cesar StraussImplement checks for all the rest of the comparison... tree | commitdiff
2021-01-10 Cesar StraussGenerate and check expected values for all possible... tree | commitdiff
2021-01-10 Cesar StraussGenerate shifted down input and outputs tree | commitdiff
2021-01-10 Cesar StraussUse styles in write_gtkw to simplify the trace description tree | commitdiff
2021-01-10 Cesar StraussAdd the Gate Generator to the ComparisonOpDriver tree | commitdiff
2021-01-10 Cesar StraussFactor-out the code to make equally spaced partition... tree | commitdiff
2021-01-10 Cesar StraussStart proof for PartitionedSignal equals operator tree | commitdiff
2021-01-10 Cesar StraussUpdate Simulator interface to current nMigen tree | commitdiff
2021-01-10 Cesar StraussUse len(sig) instead of sig.shape()[0] tree | commitdiff
2021-01-09 Cesar StraussUse the correct class name tree | commitdiff
2021-01-09 Cesar StraussCheck all possible opcodes for PartitionedEqGtGe tree | commitdiff
2021-01-09 Cesar StraussFormal verification of PartitionedEqGtGe (EQ only) tree | commitdiff
2021-01-09 Cesar StraussPost-process PartitionedEq to ripple the LSB tree | commitdiff
2021-01-09 Cesar StraussImplement formal verification of PartitionedEq based... tree | commitdiff
2021-01-08 Cesar StraussCalculate the expected value, test and assert tree | commitdiff
2021-01-08 Cesar StraussSplit-out the gate generator from the proof tree | commitdiff
2021-01-07 Cesar StraussCompare the expected output for all partition sizes tree | commitdiff
2021-01-06 Cesar StraussGenerate shifted down outputs tree | commitdiff
2021-01-05 Cesar StraussGenerate the bit pattern of gates corresponding to... tree | commitdiff
2021-01-04 Cesar StraussWork only with nibbles on the ascending cascade tree | commitdiff
2021-01-04 Cesar StraussFill the second nibble of the pattern tree | commitdiff
2021-01-04 Cesar StraussRestart the pattern at partition boundaries tree | commitdiff
2021-01-04 Cesar StraussStart 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 Lifshaydisable faulty bit_width reduction logic in DivPipeCore tree | commitdiff
2020-07-20 Jacob Lifshayfix mismatched comb process delays tree | commitdiff
2020-07-20 Jacob Lifshayadd process tracing tree | commitdiff
2020-07-15 Luke Kenneth Casso... remove FPPipeContext (moved to nmutil), name-substitute... tree | commitdiff
2020-07-13 Jacob Lifshayworking on fixing DivPipeCore's test cases tree | commitdiff
2020-07-13 Jacob Lifshayclean 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 Lifshaymove mulAddRecFN.py and nmigen_div_experiment.py to... tree | commitdiff
2020-05-22 Jacob Lifshayadd DivPipeOp in fpdiv/op.py tree | commitdiff
2020-05-16 Michael NolanFix handling of FPPipeContext.ports() tree | commitdiff
2020-05-08 Michael NolanAllow partsig to take in a PartitionPoints directly tree | commitdiff
2020-05-05 Michael NolanAdd in FPPipeContext to the cordic pipeline tree | commitdiff
2020-05-05 Michael NolanUse 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
2020-05-05 Michael NolanAdd renormalize.py (oops!) tree | commitdiff
2020-05-05 Luke Kenneth Casso... remove extraneous whitespace tree | commitdiff
2020-05-04 Michael NolanRemove print statements from clz.py tree | commitdiff
2020-05-04 Michael NolanAdd asserts to fp pipe test tree | commitdiff
2020-05-04 Michael NolanSorta working FP renormalization in cordic tree | commitdiff
2020-05-04 Michael NolanExtend clz to work with odd widths tree | commitdiff
2020-05-04 Michael NolanExtend CLZ to work over even, non powers of 2 tree | commitdiff
2020-05-04 Michael NolanAdd proof for clz.py tree | commitdiff
2020-05-04 Michael NolanAdd count leading zeros module (should probably go... tree | commitdiff
2020-05-04 Michael NolanHave sin_cos pipeline use bigfloat calculated atan... tree | commitdiff
2020-05-04 Michael NolanAdd cordic stages to fp cordic pipeline tree | commitdiff
2020-05-04 Michael NolanAdd stage to convert input float to fixed point number tree | commitdiff
2020-05-04 Michael NolanBegin adding floating point cordic pipeline tree | commitdiff
2020-05-04 Michael NolanAllow cordic to work with 64 bit floats tree | commitdiff
2020-05-01 Luke Kenneth Casso... move ripple.py to nmutil tree | commitdiff
2020-04-17 Michael NolanUse python bigfloat to calculate atan tables tree | commitdiff
2020-04-17 Michael NolanRevert "Use higher precision arithmetic when calculatin... tree | commitdiff
2020-04-17 Michael NolanUse higher precision arithmetic when calculating the... tree | commitdiff
2020-04-16 Michael Nolanchange test_fpsin to use 32 bit floats tree | commitdiff
2020-04-16 Michael NolanRun the cordic for the proper number of iterations tree | commitdiff
2020-04-16 Michael NolanWorking (ish) fpsin iterative cordic tree | commitdiff
2020-04-16 Michael NolanAssert that fpsin_cos converts floats to fixed correctly tree | commitdiff
2020-04-16 Michael NolanBegin working on multi cycle float cordic tree | commitdiff
2020-04-14 Michael NolanAdd experiment testing the effects of adding extra... tree | commitdiff
2020-04-13 Luke Kenneth Casso... add rtlil conversion and fix yield from in Cordic Data tree | commitdiff
2020-04-02 Michael NolanCombine a selectable number of rounds into one pipeline... tree | commitdiff
2020-04-01 Michael NolanCleanup tree | commitdiff
2020-04-01 Michael NolanCombine initial stage with first cordic stage tree | commitdiff
2020-04-01 Michael NolanAdd actual tests to test_pipeline.py tree | commitdiff
2020-04-01 Michael NolanRegister each pipeline stage tree | commitdiff
2020-04-01 Michael NolanAdd test for sin_cos_pipe (kinda working) tree | commitdiff
2020-04-01 Michael NolanAdd test for sin_cos_pipe (not working still) tree | commitdiff
2020-04-01 Michael NolanConnect up pipeline stages tree | commitdiff
2020-04-01 Michael NolanBegin work on pipelined cordic tree | commitdiff
2020-03-31 Michael NolanCleanup tree | commitdiff
2020-03-31 Michael NolanWorking sin/cos cordic tree | commitdiff
2020-03-31 Michael Nolansin/cos cordic partially working tree | commitdiff
next