projects
/
soc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
annoying, yet more typos
2020-07-18
Luke Kenneth Casson...
add option to generate verilog
commit
|
commitdiff
|
tree
2020-07-18
Luke Kenneth Casson...
whoops use slice not range
commit
|
commitdiff
|
tree
2020-07-18
Luke Kenneth Casson...
syntax error
commit
|
commitdiff
|
tree
2020-07-18
Luke Kenneth Casson...
add SR latch cxxrtl backend demo
commit
|
commitdiff
|
tree
2020-07-18
Luke Kenneth Casson...
add comment and copy of pseudo-code for OP_RFID into...
commit
|
commitdiff
|
tree
2020-07-18
Luke Kenneth Casson...
review of OP_RFID showed up some errors
commit
|
commitdiff
|
tree
2020-07-18
Luke Kenneth Casson...
corrections to trap main_stage.py OP_RFID according...
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
comment explaining why not to call self.trap in PowerDecode2
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
likewise cut across latest Minerva loadstore with line...
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
sigh easier to just do a line-for-line comparison of...
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
port minerva cache fixes
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
forward-port minerva loadstore bugfix
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
comments
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
submodule update (again. sigh)
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
whitespace
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
use convenience vars in spr proof
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
whitespace
commit
|
commitdiff
|
tree
2020-07-17
Luke Kenneth Casson...
whitespace
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
whoops tried doing mtspr priv, it failed but failed...
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
get shiftrot compunit working
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
more tidyup on use of CompOpSubsetBase
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
use CompOpSubsetBase in ldst record
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
sigh, bug in sprset.patch
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
update cr input record to use new CompOpSubsetBase
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
add regression test on setb simulator error
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
use CompOpSubsetBase class in Branch op record
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
get branch compunit working (missing bigendian arg)
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
get trap compunit test working, adding bigendian and msr
commit
|
commitdiff
|
tree
2020-07-16
Luke Kenneth Casson...
add mfmsr trap tests
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
use new CompOpSubsetBase in trap
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
remove unneeded comment in trap msin stage
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
remove unneeded comment in trap pipe_data
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
document branch pipeline relationship with PowerDecode2
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
simplify instr_is_priv
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
move traptype to soc.consts
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
add better comments on mul overflow
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
test privileged rfid call
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
spelling error
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
range of testing overflow was incorrect in mul
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
set MSR up properly for privileged mtmsr test
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
whoops forgot to update PC after trap in ISACaller
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
move priv test to above illegal/trap test
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
comments on IntegerData class
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
import PipeContext not FPPipeContext
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
minor reorg on PowerDecoder2, use switch/case rather...
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
comments on SPRmap done in PowerDecode2
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
comments on SPRmap done in PowerDecode2
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
use case statement in PowerDecode2
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
select RA based on LDSTMode.update in PowerDecode2
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
add cache cx to LDSTMode
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
remove unused class XerBits
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
use Record Assert and also check muxid
commit
|
commitdiff
|
tree
2020-07-15
Luke Kenneth Casson...
no need to check individual port members, just check...
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
cookie-cut setup from alu proof_main_stage.py
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
reduce code size by using CompOpSubsetBase for ALU...
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
split out CompOpSubsetBase (meaning to do for a while)
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
update docstrings
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
adding MSR.PR unit test intended to activate privileged...
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
attempting to access self.msr directly
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
set up masks for OP_RL* formal proof
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
add priv instruction checking to ISACaller simulator
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
add in privileged instruction decision-making in PowerDecode2
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
add MSR reading to issue FSM
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
comments on PowerDecode2
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
add MSR to PowerDecoder2
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
disable cxxsim test
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
attempting running cxxsim on ALU pipeline test
commit
|
commitdiff
|
tree
2020-07-14
Luke Kenneth Casson...
first attempt running cxxsim
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
whitespace
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
formal proof of OP_EXTSWSLI
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
quick test showing how left/right mask work
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
add mtmsrd instruction and unit test
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
comments
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
attempting formal proof of OP_EXTSWSLI
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
reduce rotl module to one line (use bit_select)
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
document rb as sh
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
increase range of test values for extswsli
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
add EXTSWSLI "pass" to formal shift_rot proof
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
remove unneeded spec patching
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
enable extswsli tests, fix spec-patching
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
add regression test, simulator is wrong
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
add simulator test against qemu for extswsli
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
fix read of sliced register
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
not perfect but close enough: add read registers RA...
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
add extswsli unit test
commit
|
commitdiff
|
tree
2020-07-13
Luke Kenneth Casson...
add link to rotator, sign-extend mode OP_EXTSWSLI
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
rename InternalOp to MicrOp
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
attempting to get test_trap_sim working, seems to switch...
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
submodule update
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
add OP_ATTN test back in
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
exit FSM when termination detected
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
code-morph on core connect_instruction
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
modify PowerDecoder to read LDSTMode correctly
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
change CSV LD/ST update field to LDSTMode (support...
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
return unsigned int from binary reading
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
update submodule
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
missed setting of link register on OP_BC in PowerDecoder2
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
msb of instruction causing sign-overflow
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
add std and stdu ldst unit tests
commit
|
commitdiff
|
tree
2020-07-12
Luke Kenneth Casson...
update-mode request write signalled too early
commit
|
commitdiff
|
tree
next