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