soc.git
2020-06-03 Luke Kenneth... add an if for OP_MTMSR and some comments
2020-06-03 colepoirierAttempted to fix OP_RFID in TRAP pipeline
2020-06-02 colepoirierImplement TRAP instructions OP_RFID and OP_SC
2020-06-02 Luke Kenneth... argh - bad hack, detecting when there are no registers...
2020-06-02 Luke Kenneth... take out unneeded code, add Settle() to see if it helps...
2020-06-02 Luke Kenneth... add lk field to DecodeOut2
2020-06-02 Luke Kenneth... move setting cia input to branch from get_cu_inputs...
2020-06-02 Luke Kenneth... hooray, get_cu_inputs now common to both types of tests
2020-06-02 Luke Kenneth... oooo very annoying. there does not appear to be any...
2020-06-02 Luke Kenneth... add get_inputs function to branch test_pipe_caller
2020-06-02 Luke Kenneth... remove unneeded variable
2020-06-02 Luke Kenneth... Revert "ok ok - for OP_BCREG put CTR in spr2 as well"
2020-06-02 Luke Kenneth... ok ok - for OP_BCREG put CTR in spr2 as well
2020-06-02 Michael NolanSelect spr1 for bcctr - use fast_spr decoding from...
2020-06-02 Luke Kenneth... set up CTR and LR only on BCREG when needed
2020-06-02 Luke Kenneth... decode fast spr for OP_BCREG CTR, TAR and LR
2020-06-02 Luke Kenneth... add TODO comments for read_fast1/2
2020-06-02 Tobias Platenproof_datamerger: proof that output is zero when idle
2020-06-02 Luke Kenneth... argh overlapping commits on submodule (rebase did not...
2020-06-02 Luke Kenneth... debugging branch fast registers
2020-06-02 Michael NolanFix broken wiki version
2020-06-02 Michael NolanHandle removal of spr2 field from decoder
2020-06-02 Luke Kenneth... add comment about fast1 and fast2 in branch test_pipe_c...
2020-06-02 Luke Kenneth... add regspecmap function to PowerDecode2
2020-06-02 Michael NolanFix test_bc_reg
2020-06-02 Michael NolanFix issues with test_bc_reg, wrong instruction field...
2020-06-02 Luke Kenneth... move regspec function to separate module
2020-06-02 Luke Kenneth... add in fast regs support in decoder and into regspec_decode
2020-06-02 Luke Kenneth... add 2nd write-reg for LD/ST Update mode
2020-06-02 Luke Kenneth... add write-regs encoding to regspec decoder
2020-06-02 Luke Kenneth... add read-write register numbering detection
2020-06-02 Luke Kenneth... whoops cut/paste error, creating write_ports not read_ports
2020-06-02 Luke Kenneth... whoops syntax error
2020-06-02 Luke Kenneth... add function expressing the relationship between regspe...
2020-06-02 Luke Kenneth... whitespace
2020-06-02 Luke Kenneth... rename regspecs to give a consistent naming scheme
2020-06-02 Luke Kenneth... add MSR constants, TODO translated
2020-06-02 Luke Kenneth... add TODO comments from microwatt source code
2020-06-02 Cesar StraussAllow at least one operand to be fetched
2020-06-02 Cesar StraussHold rdmaskn active during the busy_o cycle
2020-06-01 Luke Kenneth... remove reading port 3 for CR pipeline. RS moved to...
2020-06-01 Luke Kenneth... okaaay add a "rdflags" function which obtains the yes...
2020-06-01 Luke Kenneth... add test_bc_reg (fails)
2020-06-01 Luke Kenneth... remove unneeded fields from Decode2Execute1Type
2020-06-01 Michael NolanAdd proof for RegFile
2020-06-01 Luke Kenneth... more unneeded fields from SR InputRecord
2020-06-01 Luke Kenneth... remove data_len from SR input record
2020-06-01 Luke Kenneth... remove zero/invert from ShiftRot Input Record
2020-06-01 Luke Kenneth... add shift-rot input record and use it
2020-06-01 Luke Kenneth... CompBROpSubset exists
2020-06-01 Luke Kenneth... RS moved to port 1 (from port 3), remove need in ALU...
2020-06-01 Michael NolanAdd proof for RegFileArray
2020-06-01 Luke Kenneth... remove use of reg3 in logical pipeline: CSV files moved...
2020-06-01 Michael NolanHave regfile use AnySeq instead of AnyConst
2020-06-01 Luke Kenneth... rotator carry is set into both XER CA and CA32 fields
2020-06-01 Luke Kenneth... comment out rlwinm. for now
2020-06-01 Luke Kenneth... argh - need to zero the src_i input after "Read" is...
2020-06-01 Michael NolanEnable k-induction for register file proof
2020-06-01 Michael NolanThat was weird. For some reason it wasn't generating...
2020-06-01 Michael NolanFull BMC proof of Register
2020-06-01 Michael NolanBegin rewrite of proof_regfile.py
2020-06-01 Luke Kenneth... put RB in 2nd position (matching immediate) in ShiftRot...
2020-06-01 Luke Kenneth... sigh - another instance where write-mask needed to...
2020-06-01 Luke Kenneth... remove xer so/ov, swap rs/rb to correct(?) order in...
2020-06-01 Tobias Platenproof_datamerger wip
2020-06-01 Luke Kenneth... add rlwinm. test instruction (sets CR0)
2020-06-01 Luke Kenneth... remove duplicate signal
2020-06-01 Luke Kenneth... allow ALU / Logical ops to select RS as 1st operand
2020-06-01 Luke Kenneth... allow M*-Form shiftrot to swap RS/RB back to consistent...
2020-06-01 Luke Kenneth... add first version of ShiftRot CompUnit test
2020-06-01 Luke Kenneth... shiftrot uses LogicalOutputData not ALUOutputData
2020-06-01 Cesar StraussAdd rdmaskn parameter and assert it along issue_i
2020-06-01 Luke Kenneth... add assertions for branch compunit output
2020-06-01 Luke Kenneth... invert SPR1/2 in branch output data
2020-06-01 Luke Kenneth... decode SPRs for branch
2020-06-01 Luke Kenneth... swap over SPR1/2 to fit with microwatt SPR conventions
2020-06-01 Luke Kenneth... add first version compunit branch test
2020-06-01 Luke Kenneth... whoops need to read RS in CR inputs test
2020-06-01 Luke Kenneth... add first version of CR CompUnit test
2020-06-01 Luke Kenneth... minor adjustment, zero test in ALU output stage
2020-06-01 Luke Kenneth... remove unneeded code
2020-05-31 Luke Kenneth... bit-test on the function-unit value being tested
2020-05-31 Luke Kenneth... update isatables to cmpb not modifying CR0
2020-05-31 Luke Kenneth... add logical compunit test
2020-05-31 Luke Kenneth... comment inputs and outputs from ALU unit test
2020-05-31 Luke Kenneth... imports - use of globals. baaaad
2020-05-31 Luke Kenneth... remove unneeded code and inputs. convert to "naming...
2020-05-31 Luke Kenneth... split out common code from test_alu_compunit.py
2020-05-31 Luke Kenneth... add comments for MultiCompUnit parallel test
2020-05-31 Luke Kenneth... de-hard-code-ify getting results from MultiCompUnit
2020-05-31 Luke Kenneth... remove unneeded imports
2020-05-31 Luke Kenneth... split out compalu unit tests to separate module (gettin...
2020-05-31 Luke Kenneth... HA! found a bug in MultiCompUnit handling of write...
2020-05-31 Luke Kenneth... clarify
2020-05-31 Luke Kenneth... OP_CMPEQB also requesting change of output reg (stop...
2020-05-31 Luke Kenneth... OP_CMP is requesting a change of the output register...
2020-05-31 Luke Kenneth... still investigating
2020-05-31 Luke Kenneth... start with zero, try not to compare against 9 bytes...
2020-05-31 Luke Kenneth... more debug statements
2020-05-31 Luke Kenneth... add in more CR debug statements
next