projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
rename regspecs to give a consistent naming scheme
[soc.git]
/
src
/
soc
/
fu
/
compunits
/
2020-06-02
Luke Kenneth Casso...
rename regspecs to give a consistent naming scheme
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
remove reading port 3 for CR pipeline. RS moved to...
tree
|
commitdiff
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-06-01
Luke Kenneth Casso...
argh - need to zero the src_i input after "Read" is...
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
remove xer so/ov, swap rs/rb to correct(?) order in...
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
add first version of ShiftRot CompUnit test
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
add assertions for branch compunit output
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
decode SPRs for branch
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
add first version compunit branch test
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
whoops need to read RS in CR inputs test
tree
|
commitdiff
2020-06-01
Luke Kenneth Casso...
add first version of CR CompUnit test
tree
|
commitdiff
2020-05-31
Luke Kenneth Casso...
bit-test on the function-unit value being tested
tree
|
commitdiff
2020-05-31
Luke Kenneth Casso...
add logical compunit test
tree
|
commitdiff
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...
OP_CMP is requesting a change of the output register...
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...
write cr0 when op.write_cr.ok is set
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...
add in write-mask into MultiCompUnit and MCU-ALU unit...
tree
|
commitdiff
2020-05-30
Tobias Platen
Merge 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...
trigger read ALU ready/valid from latch as well
tree
|
commitdiff
2020-05-28
Luke Kenneth Casso...
extra check on rd.req in test_alu_compunit
tree
|
commitdiff
2020-05-28
Tobias Platen
Merge 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-26
Michael Nolan
Add extras from bottom of the file
tree
|
commitdiff
2020-05-26
Michael Nolan
Rewrite 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 Nolan
Correct polarity of shadow signal
tree
|
commitdiff
2020-05-25
Luke Kenneth Casso...
document shadown inversion
tree
|
commitdiff
2020-05-25
Michael Nolan
Add link to compunit wiki page
tree
|
commitdiff
2020-05-25
Michael Nolan
Correct property numbers, add assertions about busy
tree
|
commitdiff
2020-05-25
Michael Nolan
Add assertions about go_wr and wr_rel
tree
|
commitdiff
2020-05-25
Michael Nolan
Minor cleanup of comments
tree
|
commitdiff
2020-05-25
Michael Nolan
Begin working on proof for compunit/fu
tree
|
commitdiff