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