2020-07-17 |
Jacob Lifshay | Merge branch 'master' of ssh://git.libre-riscv.org... |
tree | commitdiff |
2020-07-17 |
Luke Kenneth Casso... | port minerva cache fixes |
tree | commitdiff |
2020-07-17 |
Luke Kenneth Casso... | forward-port minerva loadstore bugfix |
tree | commitdiff |
2020-07-17 |
Luke Kenneth Casso... | comments |
tree | commitdiff |
2020-07-17 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-07-17 |
Luke Kenneth Casso... | use convenience vars in spr proof |
tree | commitdiff |
2020-07-17 |
Samuel A. Falvo II | Flesh out SPR-related FV properties. |
tree | commitdiff |
2020-07-17 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-07-17 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-07-17 |
Jacob Lifshay | add simulation-only division core using nmigen div... |
tree | commitdiff |
2020-07-17 |
Jacob Lifshay | rename DIV->Div to be consistent |
tree | commitdiff |
2020-07-17 |
Jacob Lifshay | format div code |
tree | commitdiff |
2020-07-17 |
Jacob Lifshay | add missing fixedldstcache.py to .gitignore |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | whoops tried doing mtspr priv, it failed but failed... div_pipeline |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | get shiftrot compunit working |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | more tidyup on use of CompOpSubsetBase |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | use CompOpSubsetBase in ldst record |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | sigh, bug in sprset.patch |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | update cr input record to use new CompOpSubsetBase |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | add regression test on setb simulator error |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | use CompOpSubsetBase class in Branch op record |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | get branch compunit working (missing bigendian arg) |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | get trap compunit test working, adding bigendian and msr |
tree | commitdiff |
2020-07-16 |
Luke Kenneth Casso... | add mfmsr trap tests |
tree | commitdiff |
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 |
next |