projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
comment inputs and outputs from ALU unit test
[soc.git] / src / soc / fu /
2020-05-31 Luke Kenneth Casso... comment inputs and outputs from ALU unit test tree | commitdiff
2020-05-31 Luke Kenneth Casso... imports - use of globals. baaaad tree | commitdiff
2020-05-31 Luke Kenneth Casso... remove unneeded code and inputs. convert to "naming... tree | commitdiff
2020-05-31 Luke Kenneth Casso... split out common code from test_alu_compunit.py tree | commitdiff
2020-05-31 Luke Kenneth Casso... de-hard-code-ify getting results from MultiCompUnit tree | commitdiff
2020-05-31 Luke Kenneth Casso... clarify tree | commitdiff
2020-05-31 Luke Kenneth Casso... OP_CMPEQB also requesting change of output reg (stop... tree | commitdiff
2020-05-31 Luke Kenneth Casso... OP_CMP is requesting a change of the output register... tree | commitdiff
2020-05-31 Luke Kenneth Casso... still investigating tree | commitdiff
2020-05-31 Luke Kenneth Casso... start with zero, try not to compare against 9 bytes... tree | commitdiff
2020-05-31 Luke Kenneth Casso... more debug statements tree | commitdiff
2020-05-31 Luke Kenneth Casso... add in more CR debug statements tree | commitdiff
2020-05-31 Luke Kenneth Casso... copy in cr0.data into cr0 temp, not whole of cr0 (inclu... tree | commitdiff
2020-05-31 Luke Kenneth Casso... remove commented-out vars from ALU input record tree | commitdiff
2020-05-31 Luke Kenneth Casso... write cr0 when op.write_cr.ok is set tree | commitdiff
2020-05-31 Luke Kenneth Casso... add write_cr to ALU record subset tree | commitdiff
2020-05-31 Luke Kenneth Casso... comment out xer ov/so for now tree | commitdiff
2020-05-30 Luke Kenneth Casso... get carry from cr write_cr tree | commitdiff
2020-05-30 Luke Kenneth Casso... select CR0 write out only when RC=1 tree | commitdiff
2020-05-30 Luke Kenneth Casso... set CR0 output when OP_CMP or OP_CMPEQB need it tree | commitdiff
2020-05-30 Luke Kenneth Casso... add in write-mask into MultiCompUnit and MCU-ALU unit... tree | commitdiff
2020-05-30 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-05-30 Luke Kenneth Casso... create read-mask for ALU CompUnit: switches off optiona... tree | commitdiff
2020-05-30 Luke Kenneth Casso... mess - but a functional mess. ALU-MultiCompUnit semi... tree | commitdiff
2020-05-30 Luke Kenneth Casso... grab other results from ALU pipeline in compunit test tree | commitdiff
2020-05-30 Luke Kenneth Casso... order of XER so/ca wrong way round from regspec tree | commitdiff
2020-05-29 Luke Kenneth Casso... module comments for popcount tree | commitdiff
2020-05-29 Luke Kenneth Casso... comments on popcount tree | commitdiff
2020-05-29 Luke Kenneth Casso... trigger read ALU ready/valid from latch as well tree | commitdiff
2020-05-28 Luke Kenneth Casso... move simple_popcount out of class (does not use any... tree | commitdiff
2020-05-28 Luke Kenneth Casso... extra check on rd.req in test_alu_compunit tree | commitdiff
2020-05-28 Michael NolanAdd proof for OP_SETB tree | commitdiff
2020-05-28 Michael NolanAdd OP_SETB tree | commitdiff
2020-05-28 Michael NolanFix test_isel to properly examine registers tree | commitdiff
2020-05-28 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-05-28 Luke Kenneth Casso... debug-print rd/wr rel in test_alu_compunit tree | commitdiff
2020-05-28 Luke Kenneth Casso... debugging test_alu_compunit.py tree | commitdiff
2020-05-28 Luke Kenneth Casso... start on a compunit ALU test tree | commitdiff
2020-05-28 Luke Kenneth Casso... update comment tree | commitdiff
2020-05-28 Luke Kenneth Casso... remove trick of not setting SO tree | commitdiff
2020-05-27 Luke Kenneth Casso... code-morph, add TODO on OP_RFID, OP_SC, OP_ADDPCIS tree | commitdiff
2020-05-27 Luke Kenneth Casso... add LD/ST pipe_data tree | commitdiff
2020-05-27 Luke Kenneth Casso... LogicalOutputData does not need XER.so tree | commitdiff
2020-05-27 Luke Kenneth Casso... comments tree | commitdiff
2020-05-27 Luke Kenneth Casso... remove XER.ca from logical Input Data - not needed tree | commitdiff
2020-05-27 Luke Kenneth Casso... cleanup logical main proof tree | commitdiff
2020-05-27 Luke Kenneth Casso... check cr0, ov and ca ok signals in ALU main_stage proof tree | commitdiff
2020-05-27 Luke Kenneth Casso... add carry-out, overflow and cr0 ok setting in ALU main_... tree | commitdiff
2020-05-27 Luke Kenneth Casso... add SRR0 to TrapInputData tree | commitdiff
2020-05-27 Luke Kenneth Casso... add links to bugreports into ALu formal proof as well tree | commitdiff
2020-05-27 Luke Kenneth Casso... add links to bugreports into alu output stage proof tree | commitdiff
2020-05-27 Luke Kenneth Casso... check reg output Data.ok in shift_rot formal proof tree | commitdiff
2020-05-27 Luke Kenneth Casso... rename CROutputData.cr_o to just CROutputData.cr tree | commitdiff
2020-05-27 Luke Kenneth Casso... test Data.ok for cr output and full cr output tree | commitdiff
2020-05-27 Luke Kenneth Casso... assign and test on Data, TODO add Data.ok checking... tree | commitdiff
2020-05-27 Michael NolanFix bug in alu main stage proof tree | commitdiff
2020-05-26 Michael NolanAdd extras from bottom of the file tree | commitdiff
2020-05-26 Michael NolanRewrite proof to be more in line with what appears... tree | commitdiff
2020-05-26 Luke Kenneth Casso... whitespace, add commentary tree | commitdiff
2020-05-25 Michael NolanCorrect polarity of shadow signal tree | commitdiff
2020-05-25 Luke Kenneth Casso... document shadown inversion tree | commitdiff
2020-05-25 Michael NolanAdd link to compunit wiki page tree | commitdiff
2020-05-25 Michael NolanCorrect property numbers, add assertions about busy tree | commitdiff
2020-05-25 Michael NolanAdd assertions about go_wr and wr_rel tree | commitdiff
2020-05-25 Michael NolanMinor cleanup of comments tree | commitdiff
2020-05-25 Michael NolanBegin working on proof for compunit/fu tree | commitdiff
2020-05-25 Luke Kenneth Casso... add zero immed on LDST, untested tree | commitdiff
2020-05-24 Luke Kenneth Casso... add comments for SPR pipe_data tree | commitdiff
2020-05-24 Luke Kenneth Casso... add SPR pipe_data.py tree | commitdiff
2020-05-24 Luke Kenneth Casso... over 80 char limit tree | commitdiff
2020-05-24 Luke Kenneth Casso... add test of reg output, for MFCRF and ISEL tree | commitdiff
2020-05-24 Luke Kenneth Casso... add gitignore for branch fu formal tree | commitdiff
2020-05-24 Luke Kenneth Casso... add OP_CMPB formal proof tree | commitdiff
2020-05-24 Michael NolanAssert that ctr is only written when needed tree | commitdiff
2020-05-24 Luke Kenneth Casso... split out Popcount into separate module: visually it... tree | commitdiff
2020-05-24 Luke Kenneth Casso... copy code for MTMSR from microwatt into comments tree | commitdiff
2020-05-24 Luke Kenneth Casso... add links for trap main stage tree | commitdiff
2020-05-24 Luke Kenneth Casso... add untested OP_MTMSR and OP_MFMSR tree | commitdiff
2020-05-24 Luke Kenneth Casso... comment and add links to branch formal proof tree | commitdiff
2020-05-24 Luke Kenneth Casso... add copy of bpermd proof to logical formal proof (not... tree | commitdiff
2020-05-24 Luke Kenneth Casso... track down overwrite of variable b tree | commitdiff
2020-05-24 Michael NolanFix proof of bpermd module tree | commitdiff
2020-05-24 Michael NolanFix bpermd and make tests pass tree | commitdiff
2020-05-24 Michael NolanFix test_pipe_caller to conform to new Data() interface... tree | commitdiff
2020-05-24 Luke Kenneth Casso... comments on branch pipeline tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert CR pipeline to Data.ok tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert ALU to output Data on int reg tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert logical to output Data on int reg tree | commitdiff
2020-05-24 Luke Kenneth Casso... start using Data in pipelines tree | commitdiff
2020-05-24 Luke Kenneth Casso... cleanup/code-munge on ALU main stage proof tree | commitdiff
2020-05-24 Luke Kenneth Casso... error in alu output stage formal proof setup tree | commitdiff
2020-05-24 Luke Kenneth Casso... output registers need to be Data type (consistently) tree | commitdiff
2020-05-24 Luke Kenneth Casso... spelling mistake in variable tree | commitdiff
2020-05-24 Luke Kenneth Casso... TODO mention OP_MTMSR/OP_MFMSR tree | commitdiff
2020-05-24 Luke Kenneth Casso... add RA to trap pipeline, for OP_MTMSR/OP_MFMSR tree | commitdiff
2020-05-23 colepoirierAdded branch and shift_rot imports to fu/compunits... tree | commitdiff
2020-05-23 Luke Kenneth Casso... add input / output stage missing modules tree | commitdiff
2020-05-23 Luke Kenneth Casso... update docs on compunits tree | commitdiff
2020-05-23 Luke Kenneth Casso... remove extraneous test_isel tree | commitdiff
2020-05-23 Luke Kenneth Casso... document purpose of regspec module tree | commitdiff
next