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

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
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	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	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	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	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

RSS Atom