projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
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...
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
RS moved to port 1 (from port 3), remove need in ALU...
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...
add in more CR debug statements
tree
|
commitdiff
2020-05-31
Luke Kenneth Casso...
remove commented-out vars from ALU input record
tree
|
commitdiff
2020-05-31
Luke Kenneth Casso...
add write_cr to ALU record subset
tree
|
commitdiff
2020-05-30
Luke Kenneth Casso...
select CR0 write out only when RC=1
tree
|
commitdiff
2020-05-28
Luke Kenneth Casso...
remove trick of not setting SO
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...
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 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
Michael Nolan
Fix bug in alu main stage proof
tree
|
commitdiff
2020-05-24
Luke Kenneth Casso...
convert ALU to output Data on int reg
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-23
Luke Kenneth Casso...
remove unneeded imports
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
split out Logical Input and Output stages to common...
tree
|
commitdiff
2020-05-22
Luke Kenneth Casso...
covert ALU FU to CommonInputStage
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
comment CompALUOpSubset, data_len is actually used...
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
add zero_a flag to CompALUOpSubset
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
whitespace/shuffle
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
move common functionality between PipeSpecs to soc...
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
move FU IntegerData to directory below
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
convert to individual PipeSpecs for each pipeline
tree
|
commitdiff
2020-05-21
Luke Kenneth Casso...
add regspec to ALUPipeSpec
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
add register specs to pipeline in/out so that they...
tree
|
commitdiff
2020-05-20
Michael Nolan
Use overflow definition from microwatt
tree
|
commitdiff
2020-05-20
Michael Nolan
Add overflow handling and proof
tree
|
commitdiff
2020-05-20
Michael Nolan
Fix bug introduced in rebase
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
formal proof rename on XER flags
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
update to new names for XER fields
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
normalise XER regs carry/32 and SO
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
whitespace, rename ilang to alu_main_stage.il
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
i seem to like short names that happen to make things...
tree
|
commitdiff
2020-05-20
Michael Nolan
Add proof for OP_CMP and OP_CMPEQB
tree
|
commitdiff
2020-05-20
Michael Nolan
Add proof for OP_EXTS
tree
|
commitdiff
2020-05-20
Michael Nolan
Add 32 bit carry handling to alu
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
output ilang for ALU to unique file
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
use nmutil exts helper in ALU OP_EXTS
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
minor code-munge, use shorter names
tree
|
commitdiff
2020-05-20
Luke Kenneth Casso...
convert alu output to use Data for XER and CR0
tree
|
commitdiff
2020-05-19
Michael Nolan
Handle carry out in alu
tree
|
commitdiff
2020-05-19
Luke Kenneth Casso...
32-bit testing of output for CR0 conditions
tree
|
commitdiff
2020-05-18
Luke Kenneth Casso...
mass-rename of modules to soc.fu.*
tree
|
commitdiff
2020-05-18
Luke Kenneth Casso...
rename pipe to fu
tree
|
commitdiff