| 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 |
| 2020-05-27 |
Luke Kenneth Casson... | add extra INT regs port for now, add Fast Regfile
|
commit | commitdiff | tree |
| 2020-05-27 |
Luke Kenneth Casson... | added XER and CR regfiles, using new VirtualRegPort
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | check assertions
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | make read/write regs properly internal
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | add VirtualRegPort test, seems to demonstrate it working
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | remove sync (not needed)
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | get score6600_multi.py working again
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | redo focus of virtual reg port to do only full datawidth...
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | sort-of (maybe) implemented a virtual port on top of...
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | try new variant of VirtualRegFile
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | use nmutil treereduce
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | continue virtual regfile port
|
commit | commitdiff | tree |
| 2020-05-26 |
Luke Kenneth Casson... | whitespace, add commentary
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | document shadown inversion
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | update comments on compalu_multi.py
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | add some more stub comments
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | yield blank so test passes
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | add stubs
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | add comments
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | correct links in regfile docstring
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | document regfiles
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | argh! frickin MACos terminal expanded out to 86x30...
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | add docstring
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | add INT, SPR and CR regfiles
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | quick addition of zero+immed test to LDSTCompUnit
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | must not do rd-req checking when both imm and zero...
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | add zero immed on LDST, untested
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | comment out invalid test
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | lots of greater than 80 chars
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | switch out req rel if immediate enabled
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | mention zeroing
|
commit | commitdiff | tree |
| 2020-05-25 |
Luke Kenneth Casson... | add links to pseudocode
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | spelling
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | spelling
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add comments for SPR pipe_data
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add SPR pipe_data.py
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | over 80 char limit
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add test of reg output, for MFCRF and ISEL
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add gitignore for branch fu formal
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add OP_CMPB formal proof
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | split out Popcount into separate module: visually it...
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | copy code for MTMSR from microwatt into comments
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add links for trap main stage
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add untested OP_MTMSR and OP_MFMSR
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | update to new CSV files in submodule
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add MFMSR and MTMSRD enums to Function
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | comment and add links to branch formal proof
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add copy of bpermd proof to logical formal proof (not...
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | track down overwrite of variable b
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add stub regfiles.py
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | hmm...
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add very rapid DummyALU for test purposes in MultiCompUnit
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | comments on branch pipeline
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | convert CR pipeline to Data.ok
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | convert ALU to output Data on int reg
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | convert logical to output Data on int reg
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | start using Data in pipelines
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | cleanup/code-munge on ALU main stage proof
|
commit | commitdiff | tree |
| next |
projects / soc.git / search