projects
/
ieee754fpu.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
fix layout() to put in only the number of *requested* vector elements
[ieee754fpu.git]
/
src
/
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
2020-05-05
Michael Nolan
Add renormalize.py (oops!)
tree
|
commitdiff
2020-05-05
Luke Kenneth Casso...
remove extraneous whitespace
tree
|
commitdiff
2020-05-04
Michael Nolan
Remove print statements from clz.py
tree
|
commitdiff
2020-05-04
Michael Nolan
Add asserts to fp pipe test
tree
|
commitdiff
2020-05-04
Michael Nolan
Sorta working FP renormalization in cordic
tree
|
commitdiff
2020-05-04
Michael Nolan
Extend clz to work with odd widths
tree
|
commitdiff
2020-05-04
Michael Nolan
Extend CLZ to work over even, non powers of 2
tree
|
commitdiff
2020-05-04
Michael Nolan
Add proof for clz.py
tree
|
commitdiff
2020-05-04
Michael Nolan
Add count leading zeros module (should probably go...
tree
|
commitdiff
2020-05-04
Michael Nolan
Have sin_cos pipeline use bigfloat calculated atan...
tree
|
commitdiff
2020-05-04
Michael Nolan
Add cordic stages to fp cordic pipeline
tree
|
commitdiff
2020-05-04
Michael Nolan
Add stage to convert input float to fixed point number
tree
|
commitdiff
2020-05-04
Michael Nolan
Begin adding floating point cordic pipeline
tree
|
commitdiff
2020-05-04
Michael Nolan
Allow 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 Nolan
Use python bigfloat to calculate atan tables
tree
|
commitdiff
2020-04-17
Michael Nolan
Revert "Use higher precision arithmetic when calculatin...
tree
|
commitdiff
2020-04-17
Michael Nolan
Use higher precision arithmetic when calculating the...
tree
|
commitdiff
2020-04-16
Michael Nolan
change test_fpsin to use 32 bit floats
tree
|
commitdiff
2020-04-16
Michael Nolan
Run the cordic for the proper number of iterations
tree
|
commitdiff
2020-04-16
Michael Nolan
Working (ish) fpsin iterative cordic
tree
|
commitdiff
2020-04-16
Michael Nolan
Assert that fpsin_cos converts floats to fixed correctly
tree
|
commitdiff
2020-04-16
Michael Nolan
Begin working on multi cycle float cordic
tree
|
commitdiff
2020-04-14
Michael Nolan
Add 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 Nolan
Combine a selectable number of rounds into one pipeline...
tree
|
commitdiff
2020-04-01
Michael Nolan
Cleanup
tree
|
commitdiff
2020-04-01
Michael Nolan
Combine initial stage with first cordic stage
tree
|
commitdiff
2020-04-01
Michael Nolan
Add actual tests to test_pipeline.py
tree
|
commitdiff
2020-04-01
Michael Nolan
Register each pipeline stage
tree
|
commitdiff
2020-04-01
Michael Nolan
Add test for sin_cos_pipe (kinda working)
tree
|
commitdiff
2020-04-01
Michael Nolan
Add test for sin_cos_pipe (not working still)
tree
|
commitdiff
2020-04-01
Michael Nolan
Connect up pipeline stages
tree
|
commitdiff
2020-04-01
Michael Nolan
Begin work on pipelined cordic
tree
|
commitdiff
2020-03-31
Michael Nolan
Cleanup
tree
|
commitdiff
next