| 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 |
| 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 |
| next |
projects / soc.git / search