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 |
2020-07-10 |
Luke Kenneth... | add overflow div tests |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | propagate missing parameters from div |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | code comments |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | do not set div result if overflow occurs |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | re-enable div random tests and other regressions |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | check for div_overflow equal to None rather than == 1 |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | re-add rc/oe back into LDST input record |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | whew panic over, missed a bigendian argument in test_co... |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | add test7 div regression |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | add more debug output for #425 |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | add debugging chain for #425 |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | update submodule |
commit | commitdiff | tree |
2020-07-10 |
Luke Kenneth... | cut/paste error writing to wrong vcd file |
commit | commitdiff | tree |
2020-07-10 |
Jacob Lifshay | switch to using Signal.width instead of Signal.shape... |
commit | commitdiff | tree |
2020-07-10 |
Jacob Lifshay | format file |
commit | commitdiff | tree |
2020-07-10 |
Jacob Lifshay | update libreriscv submodule |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | add regression test for div overflow case |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | slightly different so handling in common output stage |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | also set so only if OE requires it |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | debug information related to 32/64 bit mode |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | bug #424 - 32/64 bit is a *global* flag not a per-op one |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | test top bit 31 in 32-bit mode for CR0 creation |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | ha ha very funny. pipelines being pipelines, you have... |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | whoops test gets copied 4 times on the If. |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | ALU output stage, change logic slightly |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | set xer_ov.ok = 1 |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | remove unneeded xer.ca in MulOutputData |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | something weird going on with div. interaction between... |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | simplify setting of mul overflow into xer_ov |
commit | commitdiff | tree |
2020-07-09 |
Luke Kenneth... | clarifying comments on setting xer_ov/so |
commit | commitdiff | tree |
next |