Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / src / soc / fu / mul /
2023-09-11 Jacob Lifshayskip madd* tests since they're not implemented
2023-09-11 Jacob Lifshayset parent pspec to class with XLEN = 64
2022-07-05 Luke Kenneth Casso... MulOutputData was only 64-bit output not 128-bit
2022-02-27 Luke Kenneth Casso... start on converting MUL and DIV pipelines to XLEN
2022-02-27 Luke Kenneth Casso... convert from public static functions/properties for...
2021-12-09 Jacob Lifshayadd parent_pspec everywhere
2021-12-09 Jacob Lifshayformat code
2021-10-10 Luke Kenneth Casso... replace PartitionedSignal with SimdSignal
2021-09-25 Las SafinMerge remote-tracking branch 'upstream/master' into pr
2021-09-22 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org...
2021-09-22 Jacob Lifshayfix mul fu test helper.py not passing immediate to...
2021-08-31 Jacob Lifshayfix test_all_values_covered, missed import when moving...
2021-08-30 Luke Kenneth Casso... missed valid/ready_i/o to o/i_ conversion
2021-08-24 Luke Kenneth Casso... replace data_o with o_data and data_i with i_data as...
2021-05-04 Luke Kenneth Casso... rename IntegerData to FUBaseData
2021-04-23 Luke Kenneth Casso... move mul tests to openpower.test
2021-04-23 Luke Kenneth Casso... import from openpower.endian
2021-04-23 Luke Kenneth Casso... use openpower.test.common
2021-04-23 Luke Kenneth Casso... move over to from openpower imports
2020-12-12 Luke Kenneth Casso... skip madd, not implemented
2020-10-09 Jacob Lifshayfinish converting mul tests to use common code
2020-10-09 Jacob Lifshayworking on splitting out common mul pipe test code
2020-10-09 Jacob Lifshaymove mul pipe ilang test to separate file
2020-10-07 Jacob LifshayFix forgotten test_pipe_caller changes from e0b4334c7d8...
2020-10-06 Luke Kenneth Casso... use pdecode2.do not pdecode2.e in test_pipe_caller...
2020-09-26 Cesar StraussConvert a few more tests to be able to use cxxsim
2020-09-07 Luke Kenneth Casso... convert mul test to use Power Decode subset
2020-09-07 Luke Kenneth Casso... bit of a big reorg of data structures
2020-09-03 Samuel A. Falvo IIProvide full name and email in copyright notice.
2020-08-30 Luke Kenneth Casso... tidyup on mul proof
2020-08-30 Luke Kenneth Casso... set mul post_stage o.ok only when needed, and fix xer_s...
2020-08-30 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-29 Samuel A. Falvo IIQualify XER_OV output in proof
2020-08-29 Samuel A. Falvo IIFix test breakage in MUL proofs
2020-08-29 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-29 Samuel A. Falvo IIBROKEN: xer_ov_o != dut.o.xer_ov.data ???!!!
2020-08-29 Luke Kenneth Casso... minor code-shuffle, comments
2020-08-29 Samuel A. Falvo IIMUL pipeline formal proofs complete, I *think*.
2020-08-29 Samuel A. Falvo IIWIP: prep for 64-bit insns
2020-08-24 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-23 Luke Kenneth Casso... multiply does not have invert_in, zero_a or invert_out
2020-08-22 Luke Kenneth Casso... rename invert_a to invert_in because logical inverts RB
2020-08-21 Samuel A. Falvo IIMUL pipeline WIP: mullw and mullwu covered.
2020-08-21 Samuel A. Falvo IIMUL pipeline: account for overflow flags. WIP
2020-08-21 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-21 Samuel A. Falvo IIMUL pipeline proofs: mulli / mullw WIP.
2020-08-20 Samuel A. Falvo IIMUL pipeline proof: muldw(u)
2020-08-20 Samuel A. Falvo IIMUL pipeline proof: signed mulhw
2020-08-19 Luke Kenneth Casso... bit of a reorg of mul proof, tracking down missing
2020-08-19 Luke Kenneth Casso... move long mul tests to separate unit test
2020-08-19 Samuel A. Falvo IIWIP: OP_MUL proofs started.
2020-08-19 Luke Kenneth Casso... set up StageChain of 3 mul stages
2020-08-18 Cole Poirierfu/mul/test/test_pipe_caller.py test case_all_rb_close_...
2020-08-10 Samuel A. Falvo IIWIP!! Make MUL pipeline proof run again.
2020-08-08 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-08 Cole PoirierUpdate test case_mulli
2020-08-07 Cole PoirierUpdate test case_mulli
2020-08-07 Cole PoirierUpdate test case_mulli, I think it now works correctly
2020-08-07 Cole PoirierUpdate mulli to try to use immediates not registers
2020-08-06 Cole PoirierFix formatting
2020-08-06 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-06 Cole PoirierUpdate test case_all_rb_close_to_ov
2020-08-06 Cole PoirierUpdate test case_all_rb_close_to_ov
2020-08-06 Cole PoirierAdd special test for case_mulli, apply autopep8
2020-08-05 Cole PoirierAdd test case_all_rb_close_to_ov
2020-08-05 Cole PoirierRemove mulli from instrs in test case_all*, add TODO...
2020-08-05 Cole PoirierAdd new test_values to tests case_all and case_all_rb_r...
2020-08-05 Cole PoirierAdd second case_all test where rb is randint
2020-08-05 Cole PoirierRemove madd* isns, added madd* isns test TODO
2020-08-05 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-05 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc
2020-08-05 Cole PoirierFix pysim deprecation warning
2020-08-05 Cole PoirierAdd case_all to MUL unit tests, remove duplicate test...
2020-07-29 Jacob Lifshayadd __init__.py to all source directories
2020-07-26 Luke Kenneth Casso... convert mul test to accumulator style
2020-07-22 Jacob LifshayMerge remote-tracking branch 'origin/master'
2020-07-22 Jacob Lifshayformat code
2020-07-18 Luke Kenneth Casso... missing conversion of DIV to Div
2020-07-16 Luke Kenneth Casso... more tidyup on use of CompOpSubsetBase
2020-07-15 Luke Kenneth Casso... add better comments on mul overflow
2020-07-15 Luke Kenneth Casso... spelling error
2020-07-15 Luke Kenneth Casso... range of testing overflow was incorrect in mul
2020-07-12 Luke Kenneth Casso... rename InternalOp to MicrOp
2020-07-11 Luke Kenneth Casso... sorting out bigendian/littleendian including in qemu
2020-07-11 Luke Kenneth Casso... add random mulhd and mulld tests
2020-07-11 Luke Kenneth Casso... enable mul tests after sorting pseudo-code mul overflow
2020-07-11 Luke Kenneth Casso... special test for mul hw to cope with ignoring OE flag
2020-07-10 Luke Kenneth Casso... cut/paste error writing to wrong vcd file
2020-07-09 Luke Kenneth Casso... remove unneeded xer.ca in MulOutputData
2020-07-09 Luke Kenneth Casso... simplify setting of mul overflow into xer_ov
2020-07-09 Luke Kenneth Casso... remove xer_ca from DIV pipeline (took a bit of messing...
2020-07-09 Luke Kenneth Casso... irony comment on how one line creates a massive array...
2020-07-09 Luke Kenneth Casso... add new stages etc. to get multiply working without...
2020-07-08 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org...
2020-07-06 Luke Kenneth Casso... use ComMULOpSubset in mul pipeline
2020-07-06 Luke Kenneth Casso... whoops forgot that the mul pipeline is actually a pipel...
2020-07-06 Luke Kenneth Casso... continue mul unit test debugging
2020-07-06 Luke Kenneth Casso... investigating mul pipeline
2020-07-06 Luke Kenneth Casso... first cut at mul test pipeline
2020-07-06 Luke Kenneth Casso... add first cut at fu mul pipeline
next