2020-06-04 |
Luke Kenneth Casso... | move regfile/spec organiser to separate function |
tree | commitdiff |
2020-06-04 |
Luke Kenneth Casso... | mention convenience variables |
tree | commitdiff |
2020-06-04 |
Luke Kenneth Casso... | rename trap to use convenience variables |
tree | commitdiff |
2020-06-04 |
colepoirier | Undo damage done by deleting VHDL microwatt comments, |
tree | commitdiff |
2020-06-04 |
Luke Kenneth Casso... | collate fu-enable signals |
tree | commitdiff |
2020-06-04 |
Luke Kenneth Casso... | connect up Function Unit operand subsets |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | forgot to add in rdflag enable |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | whoops, regfiles are uppercase |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | whoops needed a bit of a reorg of the data structure... |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | hmmm got naming wrong in regfile-fu connectivity |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | whoops names of regfiles are lower-case |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | munge/redirect the regfile port based on the naming |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | connect read-enable and src_i to regfile ports |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | link up PriorityPickers on read channels |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | put rdspecs into a different dictionary |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | start putting a non-production core together, |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | add a simple core, not intended for production use |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | correct comments on regspec decode map |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | only select xer_xo if OE enabled |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | decide to elaborate Refiles *into* another class, rathe... |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | turn RegFiles into module, add all regfiles to it |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | add a simple class containing all FunctionUnits |
tree | commitdiff |
2020-06-03 |
Tobias Platen | more work on proof_datamerger.py |
tree | commitdiff |
2020-06-03 |
Tobias Platen | Merge branch 'master' of ssh://git.libre-riscv.org... |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | add class containing all regfiles |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | use common get_cu_inputs for CR unit tests |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | convert shift_rot tests to use common get_cu_inputs... |
tree | commitdiff |
2020-06-03 |
Tobias Platen | Merge branch 'master' of ssh://git.libre-riscv.org... |
tree | commitdiff |
2020-06-03 |
Tobias Platen | whitespace fix for proof_datamerger.py |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | reorganise ALU tests, move get_cu_inputs function to... |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | worked out how to dynamically enable carry-in to ALU... |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | correct overflow-enable flags for rdmask specs in ALU |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | attempt to make carry-in and overflow-enable optional... |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | remove rdflags in pipe_data.py (redundant) |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | move over to using power_regspec_map.py from PowerDecod... |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | move obtaining simulator data into common function... |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | mention TODO on SPR regfile |
tree | commitdiff |
2020-06-03 |
Cesar Strauss | Check completion of the sub-processes |
tree | commitdiff |
2020-06-03 |
colepoirier | Fixed missing nia.ok.eq(1) in OP_RFID |
tree | commitdiff |
2020-06-03 |
colepoirier | Fixed merge conflict by using remote changes |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | tidyup branch. comments |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | convenience variables |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | FormX not FormXL |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | add bit more TODO |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | convenience rename for spr pipe_data.py, consistent... |
tree | commitdiff |
2020-06-03 |
Cesar Strauss | Simplify immediate check |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | add more TODOs |
tree | commitdiff |
2020-06-03 |
Cesar Strauss | Preliminary check of the alu protocol |
tree | commitdiff |
2020-06-03 |
Cesar Strauss | Pass along the operand, in the cycle in which go is... |
tree | commitdiff |
2020-06-03 |
colepoirier | Fixed OP_RFID and OP_SC in fu/trap/main_stage |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | add some more constants and ref to POWER9 pdf |
tree | commitdiff |
2020-06-03 |
Luke Kenneth Casso... | add an if for OP_MTMSR and some comments |
tree | commitdiff |
2020-06-03 |
colepoirier | Attempted to fix OP_RFID in TRAP pipeline |
tree | commitdiff |
2020-06-02 |
colepoirier | Implement TRAP instructions OP_RFID and OP_SC |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | argh - bad hack, detecting when there are no registers... |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | take out unneeded code, add Settle() to see if it helps... |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add lk field to DecodeOut2 |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | move setting cia input to branch from get_cu_inputs... |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | hooray, get_cu_inputs now common to both types of tests |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | oooo very annoying. there does not appear to be any... |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add get_inputs function to branch test_pipe_caller |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | remove unneeded variable |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | Revert "ok ok - for OP_BCREG put CTR in spr2 as well" |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | ok ok - for OP_BCREG put CTR in spr2 as well |
tree | commitdiff |
2020-06-02 |
Michael Nolan | Select spr1 for bcctr - use fast_spr decoding from... |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | set up CTR and LR only on BCREG when needed |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | decode fast spr for OP_BCREG CTR, TAR and LR |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add TODO comments for read_fast1/2 |
tree | commitdiff |
2020-06-02 |
Tobias Platen | proof_datamerger: proof that output is zero when idle |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | debugging branch fast registers |
tree | commitdiff |
2020-06-02 |
Michael Nolan | Handle removal of spr2 field from decoder |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add comment about fast1 and fast2 in branch test_pipe_c... |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add regspecmap function to PowerDecode2 |
tree | commitdiff |
2020-06-02 |
Michael Nolan | Fix test_bc_reg |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | move regspec function to separate module |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add in fast regs support in decoder and into regspec_decode |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add 2nd write-reg for LD/ST Update mode |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add write-regs encoding to regspec decoder |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add read-write register numbering detection |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | whoops cut/paste error, creating write_ports not read_ports |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | whoops syntax error |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add function expressing the relationship between regspe... |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | rename regspecs to give a consistent naming scheme |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add MSR constants, TODO translated |
tree | commitdiff |
2020-06-02 |
Luke Kenneth Casso... | add TODO comments from microwatt source code |
tree | commitdiff |
2020-06-02 |
Cesar Strauss | Allow at least one operand to be fetched |
tree | commitdiff |
2020-06-02 |
Cesar Strauss | Hold rdmaskn active during the busy_o cycle |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | remove reading port 3 for CR pipeline. RS moved to... |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | okaaay add a "rdflags" function which obtains the yes... |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | add test_bc_reg (fails) |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | remove unneeded fields from Decode2Execute1Type |
tree | commitdiff |
2020-06-01 |
Michael Nolan | Add proof for RegFile |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | more unneeded fields from SR InputRecord |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | remove data_len from SR input record |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | remove zero/invert from ShiftRot Input Record |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | add shift-rot input record and use it |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | CompBROpSubset exists |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | RS moved to port 1 (from port 3), remove need in ALU... |
tree | commitdiff |
next |