| 2020-07-15 |
Luke Kenneth Casson... | no need to check individual port members, just check...
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | cookie-cut setup from alu proof_main_stage.py
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | reduce code size by using CompOpSubsetBase for ALU...
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | split out CompOpSubsetBase (meaning to do for a while)
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | update docstrings
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | adding MSR.PR unit test intended to activate privileged...
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | attempting to access self.msr directly
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | set up masks for OP_RL* formal proof
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | add priv instruction checking to ISACaller simulator
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | add in privileged instruction decision-making in PowerDecode2
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | add MSR reading to issue FSM
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | comments on PowerDecode2
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | add MSR to PowerDecoder2
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | disable cxxsim test
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | attempting running cxxsim on ALU pipeline test
|
commit | commitdiff | tree |
| 2020-07-14 |
Luke Kenneth Casson... | first attempt running cxxsim
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | whitespace
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | formal proof of OP_EXTSWSLI
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | quick test showing how left/right mask work
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | add mtmsrd instruction and unit test
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | comments
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | attempting formal proof of OP_EXTSWSLI
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | reduce rotl module to one line (use bit_select)
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | document rb as sh
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | increase range of test values for extswsli
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | add EXTSWSLI "pass" to formal shift_rot proof
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | remove unneeded spec patching
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | enable extswsli tests, fix spec-patching
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | add regression test, simulator is wrong
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | add simulator test against qemu for extswsli
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | fix read of sliced register
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | not perfect but close enough: add read registers RA...
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | add extswsli unit test
|
commit | commitdiff | tree |
| 2020-07-13 |
Luke Kenneth Casson... | add link to rotator, sign-extend mode OP_EXTSWSLI
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | rename InternalOp to MicrOp
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | attempting to get test_trap_sim working, seems to switch...
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | submodule update
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | add OP_ATTN test back in
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | exit FSM when termination detected
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | code-morph on core connect_instruction
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | modify PowerDecoder to read LDSTMode correctly
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | change CSV LD/ST update field to LDSTMode (support...
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | return unsigned int from binary reading
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | update submodule
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | missed setting of link register on OP_BC in PowerDecoder2
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | msb of instruction causing sign-overflow
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | add std and stdu ldst unit tests
|
commit | commitdiff | tree |
| 2020-07-12 |
Luke Kenneth Casson... | update-mode request write signalled too early
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | sort out core write latching: gate by busy, and use...
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | * clarifying core function unit enable
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | add bigendian flag
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | add endian
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | fix spr setting, set endianness
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | sigh spelling
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | add bigendian
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | more setting bigendian
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | add bigendian mode to helloworld test
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | sort out big/little endian startup on qemu
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | sorting out bigendian/littleendian including in qemu
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | whoops output trunc_divs not trunc_div
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | add random mulhd and mulld tests
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | enable mul tests after sorting pseudo-code mul overflow
|
commit | commitdiff | tree |
| 2020-07-11 |
Luke Kenneth Casson... | special test for mul hw to cope with ignoring OE flag
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | add a DIVS function as separate and discrete from floor_div
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | add random unsigned div tests
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | add overflow div tests
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | propagate missing parameters from div
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | code comments
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | do not set div result if overflow occurs
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | re-enable div random tests and other regressions
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | check for div_overflow equal to None rather than == 1
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | re-add rc/oe back into LDST input record
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | whew panic over, missed a bigendian argument in test_compunit.py
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | add test7 div regression
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | add more debug output for #425
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | add debugging chain for #425
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | update submodule
|
commit | commitdiff | tree |
| 2020-07-10 |
Luke Kenneth Casson... | cut/paste error writing to wrong vcd file
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | add regression test for div overflow case
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | slightly different so handling in common output stage
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | also set so only if OE requires it
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | debug information related to 32/64 bit mode
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | bug #424 - 32/64 bit is a *global* flag not a per-op one
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | test top bit 31 in 32-bit mode for CR0 creation
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | ha ha very funny. pipelines being pipelines, you have...
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | whoops test gets copied 4 times on the If.
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | ALU output stage, change logic slightly
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | set xer_ov.ok = 1
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | remove unneeded xer.ca in MulOutputData
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | something weird going on with div. interaction between...
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | simplify setting of mul overflow into xer_ov
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | clarifying comments on setting xer_ov/so
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | DIV overflow needs to be copied into both bits of XER.ov
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | add debug output of DIV results
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | check result first then CR second
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | munge alu_fsm Shifter into looking like CompALU API...
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | resolving issues with div tests (turned out to be nmutil...
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | remove xer_ca from DIV pipeline (took a bit of messing...
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | irony comment on how one line creates a massive array...
|
commit | commitdiff | tree |
| 2020-07-09 |
Luke Kenneth Casson... | add new stages etc. to get multiply working without...
|
commit | commitdiff | tree |
| next |
projects / soc.git / search