git.libre-soc.org Git - ieee754fpu.git/search

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 calculating...	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-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
2020-03-31	Michael Nolan	Begin adding cordic	commit \| commitdiff \| tree
2020-02-27	Michael Nolan	Apply Luke's suggestions/FIXME's	commit \| commitdiff \| tree
2020-02-26	Michael Nolan	Add shift right to test_partsig and partsig	commit \| commitdiff \| tree
2020-02-26	Michael Nolan	Rename bitrev signal to shift_right (more descriptive)	commit \| commitdiff \| tree
2020-02-26	Michael Nolan	Shift left now working	commit \| commitdiff \| tree
2020-02-26	Michael Nolan	Remove element mux calculation from PartialResult	commit \| commitdiff \| tree
2020-02-26	Michael Nolan	Add bit reversal to part_shift_dynamic	commit \| commitdiff \| tree
2020-02-26	Michael Nolan	Add partitioned right shift to part_shift_scalar	commit \| commitdiff \| tree
2020-02-24	Michael Nolan	Add gated bit reversal module	commit \| commitdiff \| tree
2020-02-17	Michael Nolan	part_shift_scalar now has maked shift amounts working	commit \| commitdiff \| tree
2020-02-17	Michael Nolan	Fix proof crashing instead of giving a vcd	commit \| commitdiff \| tree
2020-02-17	Michael Nolan	In progress	commit \| commitdiff \| tree
2020-02-17	Michael Nolan	Add ShifterMask modules to part_shift_scalar	commit \| commitdiff \| tree
2020-02-14	Michael Nolan	re-add masking of the shift amount based on partition...	commit \| commitdiff \| tree
2020-02-14	Michael Nolan	Minor refactoring of part_shift_dynamic	commit \| commitdiff \| tree
2020-02-14	Michael Nolan	Refactor part_shift_dynamic.py	commit \| commitdiff \| tree
2020-02-14	Michael Nolan	Replace giant switch statement with mux chain	commit \| commitdiff \| tree
2020-02-12	Michael Nolan	Eliminate unused entries in shift matrix	commit \| commitdiff \| tree
2020-02-12	Michael Nolan	Reduce width of b operand to minimum size needed	commit \| commitdiff \| tree
2020-02-12	Michael Nolan	Expand proof_shift_dynamic to 32 bits	commit \| commitdiff \| tree
2020-02-12	Michael Nolan	Rename part_shift_scalar/ to part_shift	commit \| commitdiff \| tree
2020-02-12	Michael Nolan	Add formal proof for dynamic shifter	commit \| commitdiff \| tree
2020-02-12	Michael Nolan	Somewhat working dynamic shifter	commit \| commitdiff \| tree
2020-02-12	Michael Nolan	Fix whitespace	commit \| commitdiff \| tree
2020-02-12	Michael Nolan	Begin adding dynamic shifter	commit \| commitdiff \| tree
2020-02-12	Michael Nolan	Revise documentation for how carry works in adder.py	commit \| commitdiff \| tree
2020-02-11	Michael Nolan	Rudimentary working partitioned scalar shifter	commit \| commitdiff \| tree
2020-02-11	Michael Nolan	Begin adding partitioned scalar shifter	commit \| commitdiff \| tree
2020-02-10	Michael Nolan	Fix line length	commit \| commitdiff \| tree
2020-02-10	Michael Nolan	Fix carry output of adder/subtracter	commit \| commitdiff \| tree
2020-02-10	Michael Nolan	Fix flake8 errors in part_cmp/	commit \| commitdiff \| tree
2020-02-10	Michael Nolan	Fix flake8 errors in partsig.py	commit \| commitdiff \| tree
2020-02-10	Michael Nolan	Fix flake8 errors in test_partsig	commit \| commitdiff \| tree
2020-02-10	Michael Nolan	Minor cleanup	commit \| commitdiff \| tree
2020-02-10	Michael Nolan	Add neg operator to partsig.py	commit \| commitdiff \| tree
2020-02-10	Michael Nolan	Add subtraction to partsig.py	commit \| commitdiff \| tree
2020-02-09	Michael Nolan	Convert partsig to use the existing add_op function	commit \| commitdiff \| tree
2020-02-09	Michael Nolan	Add rudimentary test for partitioned add with carry	commit \| commitdiff \| tree
2020-02-09	Michael Nolan	Add carry out to adder	commit \| commitdiff \| tree
2020-02-09	Michael Nolan	Begin adding carry in and carry out support to adder	commit \| commitdiff \| tree
2020-02-07	Michael Nolan	Remove unneeded and gate in gt_combiner	commit \| commitdiff \| tree
2020-02-07	Michael Nolan	Fix != implementation in partsig.py	commit \| commitdiff \| tree
2020-02-07	Michael Nolan	Modify test_partsig to handle the new changes to reorder_bit...	commit \| commitdiff \| tree
2020-02-07	Michael Nolan	modify reorder_bits to copy the MSB of the partition...	commit \| commitdiff \| tree
2020-02-06	Michael Nolan	Fix test_partsig's invalid result for the equals test	commit \| commitdiff \| tree
2020-02-06	Michael Nolan	Add 0 assertions to the proof for eq_gt_ge	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	Fix order of results from PartitionedEqGtGe	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	move unused partitioned comparison modules to experiments/	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	move gt_combiner out of experiments/	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	Add module to handle partitioned eq, gt, and ge comparisons	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	Reverse order of gt combiner so it works MSB first	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	Add a signal to disable the gt inputs to gt_combiner	commit \| commitdiff \| tree
2020-02-05	Michael Nolan	Add proof for equals module	commit \| commitdiff \| tree
2020-02-04	Michael Nolan	Modify gt experiment to handle eq as well	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Add proof for using the greater than combiner to do...	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Add tree-based greater than experiment	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Move experiments with partition methods to a separate...	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Add tree based partitioned equals module	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Rename partition_combiner to eq_combiner	commit \| commitdiff \| tree
2020-02-03	Michael Nolan	Add an alternative partitioned equals combiner module	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Handle -0 and +0 equals and <	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Add test case for NaN and -0 handling to fpmax	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Replace If and Switch statements with muxes in fpcmp.py	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Add formal proof for FLT and FLE for FPCMP	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Add FLT and FLE functionality to FPCMP	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Handle NaNs for FPCMP	commit \| commitdiff \| tree
2020-02-02	Michael Nolan	Add feq functionality to fpcmp	commit \| commitdiff \| tree
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-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	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
next

RSS Atom