projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
use new CompOpSubsetBase in trap
[soc.git]
/
src
/
2020-07-15
Luke Kenneth Casso...
use new CompOpSubsetBase in trap
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
remove unneeded comment in trap msin stage
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
remove unneeded comment in trap pipe_data
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
document branch pipeline relationship with PowerDecode2
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
simplify instr_is_priv
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
move traptype to soc.consts
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
add better comments on mul overflow
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
test privileged rfid call
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
spelling error
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
range of testing overflow was incorrect in mul
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
set MSR up properly for privileged mtmsr test
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
whoops forgot to update PC after trap in ISACaller
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
move priv test to above illegal/trap test
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
comments on IntegerData class
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
import PipeContext not FPPipeContext
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
minor reorg on PowerDecoder2, use switch/case rather...
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
comments on SPRmap done in PowerDecode2
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
comments on SPRmap done in PowerDecode2
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
use case statement in PowerDecode2
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
select RA based on LDSTMode.update in PowerDecode2
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
add cache cx to LDSTMode
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
remove unused class XerBits
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
use Record Assert and also check muxid
tree
|
commitdiff
2020-07-15
Luke Kenneth Casso...
no need to check individual port members, just check...
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
cookie-cut setup from alu proof_main_stage.py
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
reduce code size by using CompOpSubsetBase for ALU...
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
split out CompOpSubsetBase (meaning to do for a while)
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
update docstrings
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
adding MSR.PR unit test intended to activate privileged...
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
attempting to access self.msr directly
tree
|
commitdiff
2020-07-14
Samuel A. Falvo II
SPR: FV that should fail currently passes
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
set up masks for OP_RL* formal proof
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
add priv instruction checking to ISACaller simulator
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
add in privileged instruction decision-making in PowerD...
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
add MSR reading to issue FSM
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
comments on PowerDecode2
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
add MSR to PowerDecoder2
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
disable cxxsim test
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
attempting running cxxsim on ALU pipeline test
tree
|
commitdiff
2020-07-14
Luke Kenneth Casso...
first attempt running cxxsim
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
whitespace
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
formal proof of OP_EXTSWSLI
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
quick test showing how left/right mask work
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add mtmsrd instruction and unit test
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
comments
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
attempting formal proof of OP_EXTSWSLI
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
reduce rotl module to one line (use bit_select)
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
document rb as sh
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
increase range of test values for extswsli
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add EXTSWSLI "pass" to formal shift_rot proof
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
remove unneeded spec patching
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
enable extswsli tests, fix spec-patching
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add regression test, simulator is wrong
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add simulator test against qemu for extswsli
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
fix read of sliced register
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
not perfect but close enough: add read registers RA...
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add extswsli unit test
tree
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add link to rotator, sign-extend mode OP_EXTSWSLI
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
rename InternalOp to MicrOp
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
attempting to get test_trap_sim working, seems to switc...
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
add OP_ATTN test back in
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
exit FSM when termination detected
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
code-morph on core connect_instruction
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
modify PowerDecoder to read LDSTMode correctly
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
change CSV LD/ST update field to LDSTMode (support...
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
return unsigned int from binary reading
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
missed setting of link register on OP_BC in PowerDecoder2
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
msb of instruction causing sign-overflow
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
add std and stdu ldst unit tests
tree
|
commitdiff
2020-07-12
Luke Kenneth Casso...
update-mode request write signalled too early
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
sort out core write latching: gate by busy, and use...
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
* clarifying core function unit enable
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
add bigendian flag
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
add endian
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
fix spr setting, set endianness
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
sigh spelling
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
add bigendian
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
more setting bigendian
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
add bigendian mode to helloworld test
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
sort out big/little endian startup on qemu
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
sorting out bigendian/littleendian including in qemu
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
whoops output trunc_divs not trunc_div
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
add random mulhd and mulld tests
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
enable mul tests after sorting pseudo-code mul overflow
tree
|
commitdiff
2020-07-11
Luke Kenneth Casso...
special test for mul hw to cope with ignoring OE flag
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
add a DIVS function as separate and discrete from floor_div
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
add random unsigned div tests
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
add overflow div tests
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
propagate missing parameters from div
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
code comments
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
do not set div result if overflow occurs
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
re-enable div random tests and other regressions
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
check for div_overflow equal to None rather than == 1
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
re-add rc/oe back into LDST input record
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
whew panic over, missed a bigendian argument in test_co...
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
add test7 div regression
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
add more debug output for #425
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
add debugging chain for #425
tree
|
commitdiff
2020-07-10
Luke Kenneth Casso...
cut/paste error writing to wrong vcd file
tree
|
commitdiff
2020-07-10
Jacob Lifshay
switch to using Signal.width instead of Signal.shape...
tree
|
commitdiff
next