projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-06-03 Luke Kenneth... convert shift_rot tests to use common get_cu_inputs... 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 StraussCheck completion of the sub-processes commit | commitdiff | tree
2020-06-03 colepoirierFixed missing nia.ok.eq(1) in OP_RFID commit | commitdiff | tree
2020-06-03 colepoirierFixed 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 StraussSimplify immediate check commit | commitdiff | tree
2020-06-03 Luke Kenneth... add more TODOs commit | commitdiff | tree
2020-06-03 Cesar StraussPreliminary check of the alu protocol commit | commitdiff | tree
2020-06-03 Cesar StraussPass along the operand, in the cycle in which go is... commit | commitdiff | tree
2020-06-03 colepoirierFixed 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 colepoirierAttempted to fix OP_RFID in TRAP pipeline commit | commitdiff | tree
2020-06-02 colepoirierImplement 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 NolanSelect 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 Platenproof_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 NolanFix broken wiki version commit | commitdiff | tree
2020-06-02 Michael NolanHandle 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 NolanFix test_bc_reg commit | commitdiff | tree
2020-06-02 Michael NolanFix 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 StraussAllow at least one operand to be fetched commit | commitdiff | tree
2020-06-02 Cesar StraussHold 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 NolanAdd 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 NolanAdd 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 NolanHave 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 NolanEnable k-induction for register file proof commit | commitdiff | tree
2020-06-01 Michael NolanThat was weird. For some reason it wasn't generating... commit | commitdiff | tree
2020-06-01 Michael NolanFull BMC proof of Register commit | commitdiff | tree
2020-06-01 Michael NolanBegin 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 Platenproof_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 StraussAdd 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
next