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

2021-01-23	Cesar Strauss	Use z3 solver instead of yices2 when convenient	commit \| commitdiff \| tree
2021-01-20	Cesar Strauss	Add tests for bitwise logical operators	commit \| commitdiff \| tree
2021-01-20	Cesar Strauss	Reverse order of operations in implies()	commit \| commitdiff \| tree
2021-01-18	Cesar Strauss	Do not register carry-out on the PartitionedAdder	commit \| commitdiff \| tree
2021-01-17	Cesar Strauss	Fix PartitionedSignal.neg and its test case	commit \| commitdiff \| tree
2021-01-17	Cesar Strauss	Allow the proof driver to check operations with integer...	commit \| commitdiff \| tree
2021-01-16	Cesar Strauss	Use RipleLSB in PartitionedXOR, and invert outputs	commit \| commitdiff \| tree
2021-01-16	Cesar Strauss	Check PartitionedSignal.any().	commit \| commitdiff \| tree
2021-01-16	Cesar Strauss	Allow a variable number of operands in the proof driver	commit \| commitdiff \| tree
2021-01-11	Cesar Strauss	Apparently PartitionedEqGtGe is already conformant	commit \| commitdiff \| tree
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 PartitionedSignal	commit \| commitdiff \| tree

RSS Atom