soc.git
2020-07-15 Luke Kenneth... whoops forgot to update PC after trap in ISACaller
2020-07-15 Luke Kenneth... move priv test to above illegal/trap test
2020-07-15 Luke Kenneth... comments on IntegerData class
2020-07-15 Luke Kenneth... import PipeContext not FPPipeContext
2020-07-15 Luke Kenneth... minor reorg on PowerDecoder2, use switch/case rather...
2020-07-15 Luke Kenneth... comments on SPRmap done in PowerDecode2
2020-07-15 Luke Kenneth... comments on SPRmap done in PowerDecode2
2020-07-15 Luke Kenneth... use case statement in PowerDecode2
2020-07-15 Luke Kenneth... select RA based on LDSTMode.update in PowerDecode2
2020-07-15 Luke Kenneth... add cache cx to LDSTMode
2020-07-15 Luke Kenneth... remove unused class XerBits
2020-07-15 Luke Kenneth... use Record Assert and also check muxid
2020-07-15 Luke Kenneth... no need to check individual port members, just check...
2020-07-14 Luke Kenneth... cookie-cut setup from alu proof_main_stage.py
2020-07-14 Luke Kenneth... reduce code size by using CompOpSubsetBase for ALU...
2020-07-14 Luke Kenneth... split out CompOpSubsetBase (meaning to do for a while)
2020-07-14 Luke Kenneth... update docstrings
2020-07-14 Luke Kenneth... adding MSR.PR unit test intended to activate privileged...
2020-07-14 Luke Kenneth... attempting to access self.msr directly
2020-07-14 Samuel A. Falvo IISPR: FV that should fail currently passes
2020-07-14 Luke Kenneth... set up masks for OP_RL* formal proof
2020-07-14 Luke Kenneth... add priv instruction checking to ISACaller simulator
2020-07-14 Luke Kenneth... add in privileged instruction decision-making in PowerD...
2020-07-14 Luke Kenneth... add MSR reading to issue FSM
2020-07-14 Luke Kenneth... comments on PowerDecode2
2020-07-14 Luke Kenneth... add MSR to PowerDecoder2
2020-07-14 Luke Kenneth... disable cxxsim test
2020-07-14 Luke Kenneth... attempting running cxxsim on ALU pipeline test
2020-07-14 Luke Kenneth... first attempt running cxxsim
2020-07-14 Tobias Platenfix path to nmigen-soc.git
2020-07-13 Luke Kenneth... whitespace
2020-07-13 Luke Kenneth... formal proof of OP_EXTSWSLI
2020-07-13 Luke Kenneth... quick test showing how left/right mask work
2020-07-13 Tobias Platenadd nmigen-soc to .gitlab-ci.yml
2020-07-13 Luke Kenneth... add mtmsrd instruction and unit test
2020-07-13 Luke Kenneth... comments
2020-07-13 Luke Kenneth... attempting formal proof of OP_EXTSWSLI
2020-07-13 Luke Kenneth... reduce rotl module to one line (use bit_select)
2020-07-13 Luke Kenneth... document rb as sh
2020-07-13 Luke Kenneth... increase range of test values for extswsli
2020-07-13 Luke Kenneth... add EXTSWSLI "pass" to formal shift_rot proof
2020-07-13 Luke Kenneth... remove unneeded spec patching
2020-07-13 Luke Kenneth... enable extswsli tests, fix spec-patching
2020-07-13 Luke Kenneth... add regression test, simulator is wrong
2020-07-13 Luke Kenneth... add simulator test against qemu for extswsli
2020-07-13 Luke Kenneth... fix read of sliced register
2020-07-13 Luke Kenneth... not perfect but close enough: add read registers RA...
2020-07-13 Luke Kenneth... add extswsli unit test
2020-07-13 Luke Kenneth... add link to rotator, sign-extend mode OP_EXTSWSLI
2020-07-12 Luke Kenneth... rename InternalOp to MicrOp
2020-07-12 Luke Kenneth... attempting to get test_trap_sim working, seems to switc...
2020-07-12 Luke Kenneth... submodule update
2020-07-12 Luke Kenneth... add OP_ATTN test back in
2020-07-12 Luke Kenneth... exit FSM when termination detected
2020-07-12 Luke Kenneth... code-morph on core connect_instruction
2020-07-12 Luke Kenneth... modify PowerDecoder to read LDSTMode correctly
2020-07-12 Luke Kenneth... change CSV LD/ST update field to LDSTMode (support...
2020-07-12 Luke Kenneth... return unsigned int from binary reading
2020-07-12 Luke Kenneth... update submodule
2020-07-12 Luke Kenneth... missed setting of link register on OP_BC in PowerDecoder2
2020-07-12 Luke Kenneth... msb of instruction causing sign-overflow
2020-07-12 Luke Kenneth... add std and stdu ldst unit tests
2020-07-12 Luke Kenneth... update-mode request write signalled too early
2020-07-11 Luke Kenneth... sort out core write latching: gate by busy, and use...
2020-07-11 Luke Kenneth... * clarifying core function unit enable
2020-07-11 Luke Kenneth... add bigendian flag
2020-07-11 Luke Kenneth... add endian
2020-07-11 Luke Kenneth... fix spr setting, set endianness
2020-07-11 Luke Kenneth... sigh spelling
2020-07-11 Luke Kenneth... add bigendian
2020-07-11 Luke Kenneth... more setting bigendian
2020-07-11 Luke Kenneth... add bigendian mode to helloworld test
2020-07-11 Luke Kenneth... sort out big/little endian startup on qemu
2020-07-11 Luke Kenneth... sorting out bigendian/littleendian including in qemu
2020-07-11 Luke Kenneth... whoops output trunc_divs not trunc_div
2020-07-11 Luke Kenneth... add random mulhd and mulld tests
2020-07-11 Luke Kenneth... enable mul tests after sorting pseudo-code mul overflow
2020-07-11 Luke Kenneth... special test for mul hw to cope with ignoring OE flag
2020-07-10 Luke Kenneth... add a DIVS function as separate and discrete from floor_div
2020-07-10 Luke Kenneth... add random unsigned div tests
2020-07-10 Luke Kenneth... add overflow div tests
2020-07-10 Luke Kenneth... propagate missing parameters from div
2020-07-10 Luke Kenneth... code comments
2020-07-10 Luke Kenneth... do not set div result if overflow occurs
2020-07-10 Luke Kenneth... re-enable div random tests and other regressions
2020-07-10 Luke Kenneth... check for div_overflow equal to None rather than == 1
2020-07-10 Luke Kenneth... re-add rc/oe back into LDST input record
2020-07-10 Luke Kenneth... whew panic over, missed a bigendian argument in test_co...
2020-07-10 Luke Kenneth... add test7 div regression
2020-07-10 Luke Kenneth... add more debug output for #425
2020-07-10 Luke Kenneth... add debugging chain for #425
2020-07-10 Luke Kenneth... update submodule
2020-07-10 Luke Kenneth... cut/paste error writing to wrong vcd file
2020-07-10 Jacob Lifshayswitch to using Signal.width instead of Signal.shape...
2020-07-10 Jacob Lifshayformat file
2020-07-10 Jacob Lifshayupdate libreriscv submodule
2020-07-09 Luke Kenneth... add regression test for div overflow case
2020-07-09 Luke Kenneth... slightly different so handling in common output stage
2020-07-09 Luke Kenneth... also set so only if OE requires it
2020-07-09 Luke Kenneth... debug information related to 32/64 bit mode
next