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 |
2020-06-01 |
Luke Kenneth... | remove zero/invert from ShiftRot Input Record |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | add shift-rot input record and use it |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | CompBROpSubset exists |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | RS moved to port 1 (from port 3), remove need in ALU... |
commit | commitdiff | tree |
2020-06-01 |
Michael Nolan | Add proof for RegFileArray |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | remove use of reg3 in logical pipeline: CSV files moved... |
commit | commitdiff | tree |
2020-06-01 |
Michael Nolan | Have regfile use AnySeq instead of AnyConst |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | rotator carry is set into both XER CA and CA32 fields |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | comment out rlwinm. for now |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | argh - need to zero the src_i input after "Read" is... |
commit | commitdiff | tree |
2020-06-01 |
Michael Nolan | Enable k-induction for register file proof |
commit | commitdiff | tree |
2020-06-01 |
Michael Nolan | That was weird. For some reason it wasn't generating... |
commit | commitdiff | tree |
2020-06-01 |
Michael Nolan | Full BMC proof of Register |
commit | commitdiff | tree |
2020-06-01 |
Michael Nolan | Begin rewrite of proof_regfile.py |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | put RB in 2nd position (matching immediate) in ShiftRot... |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | sigh - another instance where write-mask needed to... |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | remove xer so/ov, swap rs/rb to correct(?) order in... |
commit | commitdiff | tree |
2020-06-01 |
Tobias Platen | proof_datamerger wip |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | add rlwinm. test instruction (sets CR0) |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | remove duplicate signal |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | allow ALU / Logical ops to select RS as 1st operand |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | allow M*-Form shiftrot to swap RS/RB back to consistent... |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | add first version of ShiftRot CompUnit test |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | shiftrot uses LogicalOutputData not ALUOutputData |
commit | commitdiff | tree |
2020-06-01 |
Cesar Strauss | Add rdmaskn parameter and assert it along issue_i |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | add assertions for branch compunit output |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | invert SPR1/2 in branch output data |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | decode SPRs for branch |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | swap over SPR1/2 to fit with microwatt SPR conventions |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | add first version compunit branch test |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | whoops need to read RS in CR inputs test |
commit | commitdiff | tree |
2020-06-01 |
Luke Kenneth... | add first version of CR CompUnit test |
commit | commitdiff | tree |
next |