| 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 |
| 2020-07-11 |
Luke Kenneth Casso... | add bigendian |
tree | commitdiff |
| 2020-07-11 |
Luke Kenneth Casso... | more setting bigendian |
tree | commitdiff |
| 2020-07-11 |
Luke Kenneth Casso... | add bigendian mode to helloworld test |
tree | commitdiff |
| 2020-07-11 |
Luke Kenneth Casso... | sort out big/little endian startup on qemu |
tree | commitdiff |
| 2020-07-11 |
Luke Kenneth Casso... | sorting out bigendian/littleendian including in qemu |
tree | commitdiff |
| 2020-07-11 |
Luke Kenneth Casso... | whoops output trunc_divs not trunc_div |
tree | commitdiff |
| 2020-07-11 |
Luke Kenneth Casso... | add random mulhd and mulld tests |
tree | commitdiff |
| 2020-07-11 |
Luke Kenneth Casso... | enable mul tests after sorting pseudo-code mul overflow |
tree | commitdiff |
| 2020-07-11 |
Luke Kenneth Casso... | special test for mul hw to cope with ignoring OE flag |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | add a DIVS function as separate and discrete from floor_div |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | add random unsigned div tests |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | add overflow div tests |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | propagate missing parameters from div |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | code comments |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | do not set div result if overflow occurs |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | re-enable div random tests and other regressions |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | check for div_overflow equal to None rather than == 1 |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | re-add rc/oe back into LDST input record |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | whew panic over, missed a bigendian argument in test_co... |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | add test7 div regression |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | add more debug output for #425 |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | add debugging chain for #425 |
tree | commitdiff |
| 2020-07-10 |
Luke Kenneth Casso... | cut/paste error writing to wrong vcd file |
tree | commitdiff |
| 2020-07-10 |
Jacob Lifshay | switch to using Signal.width instead of Signal.shape... |
tree | commitdiff |
| 2020-07-10 |
Jacob Lifshay | format file |
tree | commitdiff |
| 2020-07-09 |
Luke Kenneth Casso... | add regression test for div overflow case |
tree | commitdiff |
| 2020-07-09 |
Luke Kenneth Casso... | slightly different so handling in common output stage |
tree | commitdiff |
| 2020-07-09 |
Luke Kenneth Casso... | also set so only if OE requires it |
tree | commitdiff |
| 2020-07-09 |
Luke Kenneth Casso... | debug information related to 32/64 bit mode |
tree | commitdiff |
| 2020-07-09 |
Luke Kenneth Casso... | bug #424 - 32/64 bit is a *global* flag not a per-op one |
tree | commitdiff |
| 2020-07-09 |
Luke Kenneth Casso... | test top bit 31 in 32-bit mode for CR0 creation |
tree | commitdiff |
| 2020-07-09 |
Luke Kenneth Casso... | ha ha very funny. pipelines being pipelines, you have... |
tree | commitdiff |
| next |
projects / soc.git / history