projects
/
ieee754fpu.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
ieee754fpu.git
2021-01-10
Cesar Strauss
Implement checks for all the rest of the comparison...
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Generate and check expected values for all possible...
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Generate shifted down input and outputs
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Use styles in write_gtkw to simplify the trace description
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Add the Gate Generator to the ComparisonOpDriver
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Factor-out the code to make equally spaced partition...
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Start proof for PartitionedSignal equals operator
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Update Simulator interface to current nMigen
commit
|
commitdiff
|
tree
2021-01-10
Cesar Strauss
Use len(sig) instead of sig.shape()[0]
commit
|
commitdiff
|
tree
2021-01-09
Cesar Strauss
Use the correct class name
commit
|
commitdiff
|
tree
2021-01-09
Cesar Strauss
Check all possible opcodes for PartitionedEqGtGe
commit
|
commitdiff
|
tree
2021-01-09
Cesar Strauss
Formal verification of PartitionedEqGtGe (EQ only)
commit
|
commitdiff
|
tree
2021-01-09
Cesar Strauss
Post-process PartitionedEq to ripple the LSB
commit
|
commitdiff
|
tree
2021-01-09
Cesar Strauss
Implement formal verification of PartitionedEq based...
commit
|
commitdiff
|
tree
2021-01-08
Cesar Strauss
Calculate the expected value, test and assert
commit
|
commitdiff
|
tree
2021-01-08
Cesar Strauss
Split-out the gate generator from the proof
commit
|
commitdiff
|
tree
2021-01-07
Cesar Strauss
Compare the expected output for all partition sizes
commit
|
commitdiff
|
tree
2021-01-06
Cesar Strauss
Generate shifted down outputs
commit
|
commitdiff
|
tree
2021-01-05
Cesar Strauss
Generate the bit pattern of gates corresponding to...
commit
|
commitdiff
|
tree
2021-01-04
Cesar Strauss
Work only with nibbles on the ascending cascade
commit
|
commitdiff
|
tree
2021-01-04
Cesar Strauss
Fill the second nibble of the pattern
commit
|
commitdiff
|
tree
2021-01-04
Cesar Strauss
Restart the pattern at partition boundaries
commit
|
commitdiff
|
tree
2021-01-04
Cesar Strauss
Start work on improving formal verification of Partitio...
commit
|
commitdiff
|
tree
2020-12-28
Luke Kenneth...
partsig: redirect bool to any for now, and use a =...
commit
|
commitdiff
|
tree
2020-12-27
Luke Kenneth...
comment PartitionedSignal lt/le
commit
|
commitdiff
|
tree
2020-07-20
Jacob Lifshay
disable faulty bit_width reduction logic in DivPipeCore
commit
|
commitdiff
|
tree
2020-07-20
Jacob Lifshay
fix mismatched comb process delays
commit
|
commitdiff
|
tree
2020-07-20
Jacob Lifshay
add process tracing
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth...
remove FPPipeContext (moved to nmutil), name-substitute...
commit
|
commitdiff
|
tree
2020-07-13
Jacob Lifshay
working on fixing DivPipeCore's test cases
commit
|
commitdiff
|
tree
2020-07-13
Jacob Lifshay
clean up DivPipeCoreConfig API
commit
|
commitdiff
|
tree
2020-07-10
Luke Kenneth...
whoops missed set up of temp variable bw
commit
|
commitdiff
|
tree
2020-07-10
Luke Kenneth...
only pass in lhs bit_width * 2 for UDivRem
commit
|
commitdiff
|
tree
2020-07-06
Luke Kenneth...
add arguments to MulPipe_8_16_32_64
commit
|
commitdiff
|
tree
2020-07-06
Luke Kenneth...
fix test_mul_pipe.py unit test
commit
|
commitdiff
|
tree
2020-07-04
Luke Kenneth...
continue reducing length of signals in div core
commit
|
commitdiff
|
tree
2020-07-04
Luke Kenneth...
attempt to get simulation for div test_core.py running
commit
|
commitdiff
|
tree
2020-07-04
Luke Kenneth...
reduce compare lengths to *2 rather than *3
commit
|
commitdiff
|
tree
2020-07-04
Luke Kenneth...
whoops set pass_flag[0] always true
commit
|
commitdiff
|
tree
2020-07-04
Luke Kenneth...
add feedback_width argument to runfp for testing
commit
|
commitdiff
|
tree
2020-07-03
Luke Kenneth...
allow arrangement for feedback loops to be possible...
commit
|
commitdiff
|
tree
2020-07-03
Luke Kenneth...
cut top trial comparison
commit
|
commitdiff
|
tree
2020-07-03
Luke Kenneth...
remove use of Array, replace with treereduce
commit
|
commitdiff
|
tree
2020-07-03
Luke Kenneth...
cut root_times_radicand if not doing Sqrt
commit
|
commitdiff
|
tree
2020-07-03
Luke Kenneth...
add "supported" option to div core
commit
|
commitdiff
|
tree
2020-06-09
Luke Kenneth...
fix imports (allows test command to be run from non...
commit
|
commitdiff
|
tree
2020-06-04
Jacob Lifshay
move mulAddRecFN.py and nmigen_div_experiment.py to...
commit
|
commitdiff
|
tree
2020-05-22
Jacob Lifshay
add DivPipeOp in fpdiv/op.py
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Fix handling of FPPipeContext.ports()
commit
|
commitdiff
|
tree
2020-05-08
Michael Nolan
Allow partsig to take in a PartitionPoints directly
commit
|
commitdiff
|
tree
2020-05-05
Michael Nolan
Add in FPPipeContext to the cordic pipeline
commit
|
commitdiff
|
tree
2020-05-05
Michael Nolan
Use clz.py from nmutil
commit
|
commitdiff
|
tree
2020-05-05
Luke Kenneth...
track down error in CORDIC pipe_data, "yield from"...
commit
|
commitdiff
|
tree
2020-05-05
Luke Kenneth...
whoops cant output .il at the moment
commit
|
commitdiff
|
tree
2020-05-05
Luke Kenneth...
add progress counter
commit
|
commitdiff
|
tree
2020-05-05
Luke Kenneth...
allow rtlil file to be created in cordic
commit
|
commitdiff
|
tree
2020-05-05
Michael Nolan
Add renormalize.py (oops!)
commit
|
commitdiff
|
tree
2020-05-05
Luke Kenneth...
remove extraneous whitespace
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Remove print statements from clz.py
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Add asserts to fp pipe test
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Sorta working FP renormalization in cordic
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Extend clz to work with odd widths
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Extend CLZ to work over even, non powers of 2
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Add proof for clz.py
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Add count leading zeros module (should probably go...
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Have sin_cos pipeline use bigfloat calculated atan...
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Add cordic stages to fp cordic pipeline
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Add stage to convert input float to fixed point number
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Begin adding floating point cordic pipeline
commit
|
commitdiff
|
tree
2020-05-04
Michael Nolan
Allow cordic to work with 64 bit floats
commit
|
commitdiff
|
tree
2020-05-01
Luke Kenneth...
move ripple.py to nmutil
commit
|
commitdiff
|
tree
2020-04-17
Jacob Lifshay
add libmpfr-dev to .gitlab-ci.yml
commit
|
commitdiff
|
tree
2020-04-17
Michael Nolan
Change tabs to spaces in .gitlab-ci.yml
commit
|
commitdiff
|
tree
2020-04-17
Michael Nolan
Add libgmp-dev to .gitlab-ci.yml
commit
|
commitdiff
|
tree
2020-04-17
Michael Nolan
Use python bigfloat to calculate atan tables
commit
|
commitdiff
|
tree
2020-04-17
Michael Nolan
Revert "Use higher precision arithmetic when calculatin...
commit
|
commitdiff
|
tree
2020-04-17
Michael Nolan
Use higher precision arithmetic when calculating the...
commit
|
commitdiff
|
tree
2020-04-16
Michael Nolan
change test_fpsin to use 32 bit floats
commit
|
commitdiff
|
tree
2020-04-16
Michael Nolan
Run the cordic for the proper number of iterations
commit
|
commitdiff
|
tree
2020-04-16
Michael Nolan
Working (ish) fpsin iterative cordic
commit
|
commitdiff
|
tree
2020-04-16
Michael Nolan
Assert that fpsin_cos converts floats to fixed correctly
commit
|
commitdiff
|
tree
2020-04-16
Michael Nolan
Begin working on multi cycle float cordic
commit
|
commitdiff
|
tree
2020-04-14
Michael Nolan
Add experiment testing the effects of adding extra...
commit
|
commitdiff
|
tree
2020-04-13
Luke Kenneth...
add rtlil conversion and fix yield from in Cordic Data
commit
|
commitdiff
|
tree
2020-04-03
Jacob Lifshay
run tests in parallel
commit
|
commitdiff
|
tree
2020-04-03
Jacob Lifshay
building sfpy works
commit
|
commitdiff
|
tree
2020-04-03
Jacob Lifshay
add not yet working .gitlab-ci.yml
commit
|
commitdiff
|
tree
2020-04-02
Michael Nolan
Combine a selectable number of rounds into one pipeline...
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Cleanup
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Combine initial stage with first cordic stage
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Add actual tests to test_pipeline.py
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Register each pipeline stage
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Add test for sin_cos_pipe (kinda working)
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Add test for sin_cos_pipe (not working still)
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Connect up pipeline stages
commit
|
commitdiff
|
tree
2020-04-01
Michael Nolan
Begin work on pipelined cordic
commit
|
commitdiff
|
tree
2020-03-31
Michael Nolan
Cleanup
commit
|
commitdiff
|
tree
2020-03-31
Michael Nolan
Working sin/cos cordic
commit
|
commitdiff
|
tree
2020-03-31
Michael Nolan
sin/cos cordic partially working
commit
|
commitdiff
|
tree
2020-03-31
Michael Nolan
Add test for sin_cos.py
commit
|
commitdiff
|
tree
next