| 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 |
| 2020-05-24 |
Luke Kenneth Casson... | error in alu output stage formal proof setup
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | output registers need to be Data type (consistently)
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | spelling mistake in variable
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | TODO mention OP_MTMSR/OP_MFMSR
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | add RA to trap pipeline, for OP_MTMSR/OP_MFMSR
|
commit | commitdiff | tree |
| 2020-05-24 |
Luke Kenneth Casson... | move docstring to wiki for compunit
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add input / output stage missing modules
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | common function for op zero and op immed
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | update docs on compunits
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | remove extraneous test_isel
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add comments
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | document purpose of regspec module
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | split out RegSpecs into separate module
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add TODO on multi-in multi-out Function Units
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | split out RegSpec API into separate class (TODO: move...
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add notes on FunctionUnit API
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | make MultiCompUnit and testing ALU use regspec API...
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | remove unneeded imports
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | make demo/test ALU look like nmigen pipeline API
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add stub DataMerger class
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add link to regspecs on wiki
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add regspec capability to MultiCompUnit
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | make immediate-or-RA selection optional based on awareness...
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | start to morph MultiCompUnit to take "regspec" as the...
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add CR_ISEL formal proof to CR pipeline
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add CR_ISEL (and unit test) to CR pipeline
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | update to (corrected) csv files for CR_ISEL
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | select bits 2:5 from BC to get CR0 to 7 in DecodeCRin
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add gitignore
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | CR field on Br input data is specd as 0:3 range
|
commit | commitdiff | tree |
| 2020-05-23 |
Luke Kenneth Casson... | add b to CR pipe input data, for isel
|
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth Casson... | add TODO and link to SHIFT_ROT formal bugreport
|
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth Casson... | remove xer.so from ShiftRot formal proof
|
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth Casson... | remove sticky overflow from Shift Rot pipeline
|
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth Casson... | test branch ctr ok flag
|
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth Casson... | cleaner way to test link register ok
|
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth Casson... | whitespace
|
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth Casson... | variable-name munging for branch formal
|
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth Casson... | cleanup logical pipe formal proof
|
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth Casson... | split out Logical Input and Output stages to common...
|
commit | commitdiff | tree |
| 2020-05-22 |
Luke Kenneth Casson... | div probably uses ALU not Logical, needs double-checking...
|
commit | commitdiff | tree |
| next |
projects / soc.git / search