okaaay add a "rdflags" function which obtains the yes/no flags for each register...
[soc.git] / src / soc / fu / alu /
2020-06-01 Luke Kenneth Casso... okaaay add a "rdflags" function which obtains the yes...
2020-06-01 Luke Kenneth Casso... RS moved to port 1 (from port 3), remove need in ALU...
2020-05-31 Luke Kenneth Casso... clarify
2020-05-31 Luke Kenneth Casso... OP_CMPEQB also requesting change of output reg (stop...
2020-05-31 Luke Kenneth Casso... OP_CMP is requesting a change of the output register...
2020-05-31 Luke Kenneth Casso... still investigating
2020-05-31 Luke Kenneth Casso... start with zero, try not to compare against 9 bytes...
2020-05-31 Luke Kenneth Casso... add in more CR debug statements
2020-05-31 Luke Kenneth Casso... remove commented-out vars from ALU input record
2020-05-31 Luke Kenneth Casso... add write_cr to ALU record subset
2020-05-30 Luke Kenneth Casso... select CR0 write out only when RC=1
2020-05-28 Luke Kenneth Casso... remove trick of not setting SO
2020-05-27 Luke Kenneth Casso... LogicalOutputData does not need XER.so
2020-05-27 Luke Kenneth Casso... comments
2020-05-27 Luke Kenneth Casso... check cr0, ov and ca ok signals in ALU main_stage proof
2020-05-27 Luke Kenneth Casso... add carry-out, overflow and cr0 ok setting in ALU main_...
2020-05-27 Luke Kenneth Casso... add links to bugreports into ALu formal proof as well
2020-05-27 Luke Kenneth Casso... add links to bugreports into alu output stage proof
2020-05-27 Michael NolanFix bug in alu main stage proof
2020-05-24 Luke Kenneth Casso... convert ALU to output Data on int reg
2020-05-24 Luke Kenneth Casso... cleanup/code-munge on ALU main stage proof
2020-05-24 Luke Kenneth Casso... error in alu output stage formal proof setup
2020-05-24 Luke Kenneth Casso... output registers need to be Data type (consistently)
2020-05-23 Luke Kenneth Casso... remove unneeded imports
2020-05-22 Luke Kenneth Casso... split out Logical Input and Output stages to common...
2020-05-22 Luke Kenneth Casso... covert ALU FU to CommonInputStage
2020-05-21 Luke Kenneth Casso... comment CompALUOpSubset, data_len is actually used...
2020-05-21 Luke Kenneth Casso... add zero_a flag to CompALUOpSubset
2020-05-21 Luke Kenneth Casso... whitespace/shuffle
2020-05-21 Luke Kenneth Casso... move common functionality between PipeSpecs to soc...
2020-05-21 Luke Kenneth Casso... move FU IntegerData to directory below
2020-05-21 Luke Kenneth Casso... convert to individual PipeSpecs for each pipeline
2020-05-21 Luke Kenneth Casso... add regspec to ALUPipeSpec
2020-05-20 Luke Kenneth Casso... add register specs to pipeline in/out so that they...
2020-05-20 Michael NolanUse overflow definition from microwatt
2020-05-20 Michael NolanAdd overflow handling and proof
2020-05-20 Michael NolanFix bug introduced in rebase
2020-05-20 Luke Kenneth Casso... formal proof rename on XER flags
2020-05-20 Luke Kenneth Casso... update to new names for XER fields
2020-05-20 Luke Kenneth Casso... normalise XER regs carry/32 and SO
2020-05-20 Luke Kenneth Casso... whitespace, rename ilang to alu_main_stage.il
2020-05-20 Luke Kenneth Casso... i seem to like short names that happen to make things...
2020-05-20 Michael NolanAdd proof for OP_CMP and OP_CMPEQB
2020-05-20 Michael NolanAdd proof for OP_EXTS
2020-05-20 Michael NolanAdd 32 bit carry handling to alu
2020-05-20 Luke Kenneth Casso... output ilang for ALU to unique file
2020-05-20 Luke Kenneth Casso... use nmutil exts helper in ALU OP_EXTS
2020-05-20 Luke Kenneth Casso... minor code-munge, use shorter names
2020-05-20 Luke Kenneth Casso... convert alu output to use Data for XER and CR0
2020-05-19 Michael NolanHandle carry out in alu
2020-05-19 Luke Kenneth Casso... 32-bit testing of output for CR0 conditions
2020-05-18 Luke Kenneth Casso... mass-rename of modules to soc.fu.*
2020-05-18 Luke Kenneth Casso... rename pipe to fu