projects / soc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add mfmsr trap tests
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
2020-07-11 Luke Kenneth Casson... sort out core write latching: gate by busy, and use...
commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... * clarifying core function unit enable
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... add bigendian flag
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... add endian
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... fix spr setting, set endianness
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... sigh spelling
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... add bigendian
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... more setting bigendian
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... add bigendian mode to helloworld test
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... sort out big/little endian startup on qemu
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... sorting out bigendian/littleendian including in qemu
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... whoops output trunc_divs not trunc_div
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... add random mulhd and mulld tests
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... enable mul tests after sorting pseudo-code mul overflow
 commit | commitdiff | tree
2020-07-11 Luke Kenneth Casson... special test for mul hw to cope with ignoring OE flag
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... add a DIVS function as separate and discrete from floor_div
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... add random unsigned div tests
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... add overflow div tests
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... propagate missing parameters from div
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... code comments
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... do not set div result if overflow occurs
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... re-enable div random tests and other regressions
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... check for div_overflow equal to None rather than == 1
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... re-add rc/oe back into LDST input record
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... whew panic over, missed a bigendian argument in test_compunit.py
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... add test7 div regression
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... add more debug output for #425
 commit | commitdiff | tree
2020-07-10 Luke Kenneth Casson... add debugging chain for #425
 commit | commitdiff | tree
next