projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
attempt to make carry-in and overflow-enable optional on ALU
[soc.git] / src /
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 StraussCheck completion of the sub-processes tree | commitdiff
2020-06-03 colepoirierFixed missing nia.ok.eq(1) in OP_RFID tree | commitdiff
2020-06-03 colepoirierFixed 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 StraussSimplify immediate check tree | commitdiff
2020-06-03 Luke Kenneth Casso... add more TODOs tree | commitdiff
2020-06-03 Cesar StraussPreliminary check of the alu protocol tree | commitdiff
2020-06-03 Cesar StraussPass along the operand, in the cycle in which go is... tree | commitdiff
2020-06-03 colepoirierFixed 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 colepoirierAttempted to fix OP_RFID in TRAP pipeline tree | commitdiff
2020-06-02 colepoirierImplement 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 NolanSelect 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 Platenproof_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 NolanHandle 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 NolanFix 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 StraussAllow at least one operand to be fetched tree | commitdiff
2020-06-02 Cesar StraussHold 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 NolanAdd 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
2020-06-01 Michael NolanAdd proof for RegFileArray tree | commitdiff
2020-06-01 Luke Kenneth Casso... remove use of reg3 in logical pipeline: CSV files moved... tree | commitdiff
2020-06-01 Michael NolanHave regfile use AnySeq instead of AnyConst tree | commitdiff
2020-06-01 Luke Kenneth Casso... rotator carry is set into both XER CA and CA32 fields tree | commitdiff
2020-06-01 Luke Kenneth Casso... comment out rlwinm. for now tree | commitdiff
2020-06-01 Luke Kenneth Casso... argh - need to zero the src_i input after "Read" is... tree | commitdiff
2020-06-01 Michael NolanEnable k-induction for register file proof tree | commitdiff
2020-06-01 Michael NolanThat was weird. For some reason it wasn't generating... tree | commitdiff
2020-06-01 Michael NolanFull BMC proof of Register tree | commitdiff
2020-06-01 Michael NolanBegin rewrite of proof_regfile.py tree | commitdiff
2020-06-01 Luke Kenneth Casso... put RB in 2nd position (matching immediate) in ShiftRot... tree | commitdiff
2020-06-01 Luke Kenneth Casso... sigh - another instance where write-mask needed to... tree | commitdiff
2020-06-01 Luke Kenneth Casso... remove xer so/ov, swap rs/rb to correct(?) order in... tree | commitdiff
2020-06-01 Tobias Platenproof_datamerger wip tree | commitdiff
2020-06-01 Luke Kenneth Casso... add rlwinm. test instruction (sets CR0) tree | commitdiff
2020-06-01 Luke Kenneth Casso... remove duplicate signal tree | commitdiff
2020-06-01 Luke Kenneth Casso... allow ALU / Logical ops to select RS as 1st operand tree | commitdiff
2020-06-01 Luke Kenneth Casso... allow M*-Form shiftrot to swap RS/RB back to consistent... tree | commitdiff
2020-06-01 Luke Kenneth Casso... add first version of ShiftRot CompUnit test tree | commitdiff
2020-06-01 Luke Kenneth Casso... shiftrot uses LogicalOutputData not ALUOutputData tree | commitdiff
2020-06-01 Cesar StraussAdd rdmaskn parameter and assert it along issue_i tree | commitdiff
2020-06-01 Luke Kenneth Casso... add assertions for branch compunit output tree | commitdiff
2020-06-01 Luke Kenneth Casso... invert SPR1/2 in branch output data tree | commitdiff
2020-06-01 Luke Kenneth Casso... decode SPRs for branch tree | commitdiff
2020-06-01 Luke Kenneth Casso... swap over SPR1/2 to fit with microwatt SPR conventions tree | commitdiff
2020-06-01 Luke Kenneth Casso... add first version compunit branch test tree | commitdiff
2020-06-01 Luke Kenneth Casso... whoops need to read RS in CR inputs test tree | commitdiff
2020-06-01 Luke Kenneth Casso... add first version of CR CompUnit test tree | commitdiff
2020-06-01 Luke Kenneth Casso... minor adjustment, zero test in ALU output stage tree | commitdiff
2020-06-01 Luke Kenneth Casso... remove unneeded code tree | commitdiff
2020-05-31 Luke Kenneth Casso... bit-test on the function-unit value being tested tree | commitdiff
2020-05-31 Luke Kenneth Casso... add logical compunit test tree | commitdiff
2020-05-31 Luke Kenneth Casso... comment inputs and outputs from ALU unit test tree | commitdiff
next