| 2020-06-01 |
Luke Kenneth Casson... | comment out rlwinm. for now
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | argh - need to zero the src_i input after "Read" is...
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | put RB in 2nd position (matching immediate) in ShiftRot...
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | sigh - another instance where write-mask needed to...
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | remove xer so/ov, swap rs/rb to correct(?) order in...
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | add rlwinm. test instruction (sets CR0)
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | remove duplicate signal
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | allow ALU / Logical ops to select RS as 1st operand
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | allow M*-Form shiftrot to swap RS/RB back to consistent...
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | add first version of ShiftRot CompUnit test
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | shiftrot uses LogicalOutputData not ALUOutputData
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | add assertions for branch compunit output
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | invert SPR1/2 in branch output data
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | decode SPRs for branch
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | swap over SPR1/2 to fit with microwatt SPR conventions
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | add first version compunit branch test
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | whoops need to read RS in CR inputs test
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | add first version of CR CompUnit test
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | minor adjustment, zero test in ALU output stage
|
commit | commitdiff | tree |
| 2020-06-01 |
Luke Kenneth Casson... | remove unneeded code
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | bit-test on the function-unit value being tested
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | update isatables to cmpb not modifying CR0
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | add logical compunit test
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | comment inputs and outputs from ALU unit test
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | imports - use of globals. baaaad
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | remove unneeded code and inputs. convert to "naming...
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | split out common code from test_alu_compunit.py
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | add comments for MultiCompUnit parallel test
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | de-hard-code-ify getting results from MultiCompUnit
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | remove unneeded imports
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | split out compalu unit tests to separate module (getting...
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | HA! found a bug in MultiCompUnit handling of write...
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | clarify
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | OP_CMPEQB also requesting change of output reg (stop...
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | OP_CMP is requesting a change of the output register...
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | still investigating
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | start with zero, try not to compare against 9 bytes...
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | more debug statements
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | add in more CR debug statements
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | copy in cr0.data into cr0 temp, not whole of cr0 (including...
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | remove commented-out vars from ALU input record
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | write cr0 when op.write_cr.ok is set
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | add write_cr to ALU record subset
|
commit | commitdiff | tree |
| 2020-05-31 |
Luke Kenneth Casson... | comment out xer ov/so for now
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | get carry from cr write_cr
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | select CR0 write out only when RC=1
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | set CR0 output when OP_CMP or OP_CMPEQB need it
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | add in use of "Settle"
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | add in write-mask into MultiCompUnit and MCU-ALU unit...
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | create read-mask for ALU CompUnit: switches off optional...
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | create a write-mask, anything with an "ok" in the Record...
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | allow MultiCompUnit outputs to be Records, to capture...
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | add read-mask to MultiCompUnit
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | code-shuffle / comments
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | mess - but a functional mess. ALU-MultiCompUnit semi...
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | grab other results from ALU pipeline in compunit test
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | order of XER so/ca wrong way round from regspec
|
commit | commitdiff | tree |
| 2020-05-30 |
Luke Kenneth Casson... | still experimenting with ALU-CompUnit interaction
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | interesting. use of Settle() works, showing that Regfile...
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | module comments for popcount
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | comments on popcount
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | trigger ALU ready when operands ready
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | trigger read ALU ready/valid from latch as well
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | use a latch to communicate read/valid output from ALU
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | latch all output on ALU output valid
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | create read-done pulse
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | write-release moves out of "ALU valid" due to using...
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | signal start of request from when ALU triggers result...
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | create rising pulse from ALU valid
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | names of attributes needs to be dest_o not dest_i
|
commit | commitdiff | tree |
| 2020-05-29 |
Luke Kenneth Casson... | rename output signals in Test ALU
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | messing about with proof_regfile.py
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | move simple_popcount out of class (does not use any...
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | extra check on rd.req in test_alu_compunit
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | debug-print rd/wr rel in test_alu_compunit
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | add quick test of 3-operand DummyALU in MultiCompALU
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | add 3rd parameter to DummyALU
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | debugging test_alu_compunit.py
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | start on a compunit ALU test
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | update comment
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | remove trick of not setting SO
|
commit | commitdiff | tree |
| 2020-05-28 |
Luke Kenneth Casson... | hmm....
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | do not use range(0, x) - just range(x)
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | remove write-block on register zero
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | code-morph, add TODO on OP_RFID, OP_SC, OP_ADDPCIS
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | add LD/ST pipe_data
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | LogicalOutputData does not need XER.so
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | comments
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | remove XER.ca from logical Input Data - not needed
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | cleanup logical main proof
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | check cr0, ov and ca ok signals in ALU main_stage proof
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | add carry-out, overflow and cr0 ok setting in ALU main_stage
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | add SRR0 to TrapInputData
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | add links to bugreports into ALu formal proof as well
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | add links to bugreports into alu output stage proof
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | check reg output Data.ok in shift_rot formal proof
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | rename CROutputData.cr_o to just CROutputData.cr
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | test Data.ok for cr output and full cr output
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | assign and test on Data, TODO add Data.ok checking...
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | make power function unit enum bitmasked
|
commit | commitdiff | tree |
| next |
projects / soc.git / search