| 2020-05-15 |
Michael Nolan | Ooops, actually assert during cmpeqb
|
commit | commitdiff | tree |
| 2020-05-15 |
Michael Nolan | Add test for cmpeqb
|
commit | commitdiff | tree |
| 2020-05-15 |
Michael Nolan | Add test for cntlz to test_caller
|
commit | commitdiff | tree |
| 2020-05-15 |
Michael Nolan | Add gitignore to shift_rot and logical formal folders
|
commit | commitdiff | tree |
| 2020-05-15 |
Michael Nolan | Re-enable popcnt in test_pipe_caller.py
|
commit | commitdiff | tree |
| 2020-05-15 |
Michael Nolan | Add test for popcnt to test_caller.py
|
commit | commitdiff | tree |
| 2020-05-15 |
Michael Nolan | Fix prty implementation
|
commit | commitdiff | tree |
| 2020-05-15 |
Michael Nolan | Add test for prtyw pseudocode
|
commit | commitdiff | tree |
| 2020-05-15 |
Michael Nolan | Update to latest wiki version, fix bug in prty pseudocode
|
commit | commitdiff | tree |
| 2020-05-14 |
Michael Nolan | Add patch for cmpb
|
commit | commitdiff | tree |
| 2020-05-14 |
Michael Nolan | Implement OP_CMP
|
commit | commitdiff | tree |
| 2020-05-14 |
Michael Nolan | Add OP_CMPB
|
commit | commitdiff | tree |
| 2020-05-14 |
Michael Nolan | Update to latest wiki version
|
commit | commitdiff | tree |
| 2020-05-14 |
Michael Nolan | Fix bug in shift_rot, update proof to handle new interface
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Add test for random rlcd(l/r) instructions
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Fix bug in rotator preventing use of 64 bit rlcl/r
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Update to latest wiki version
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Fix too wide bitfield being selected for opcode 30
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Fix weirdness with rldicl and friends in test_caller.py
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Add support for OP_EXTS
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Add missing input stage and pipe_data
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Fix bug with ROTL32 helper
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Somewhat working now?
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Integrate rotator.py into shift_rot unit
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Update cmp test in test_caller.py
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Add assertions to ALU and shift_rot test that the instructio...
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Add SHIFT_ROT FU
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Modify alu test to put reg1 *OR* reg3 into alu input A
|
commit | commitdiff | tree |
| 2020-05-13 |
Michael Nolan | Update TODO
|
commit | commitdiff | tree |
| 2020-05-12 |
Michael Nolan | Add new shift_rot FU for shifts and rotates
|
commit | commitdiff | tree |
| 2020-05-12 |
Michael Nolan | Remove rotates and shifts from alu
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Massively spead up test_pipe_caller.py
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Revert "Greatly speed up test_pipe_caller.py"
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Greatly speed up test_pipe_caller.py
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Reverse bit order for cr0 in proof
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Check output of cr0 from alu
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Add carry in input to alu testbench
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Add ability to specify initial state for SPRs
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Fix proof_input_stage.py
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Fix rlwimi by reordering the inputs *again*
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Re-enable rlwinm test
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Check write register number too
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Reorder the register reads so the field in read_reg2...
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Have test_pipe_caller actually read from the registers...
|
commit | commitdiff | tree |
| 2020-05-11 |
Michael Nolan | Actually implement rlwimi
|
commit | commitdiff | tree |
| 2020-05-10 |
Michael Nolan | Add test for rlwnm
|
commit | commitdiff | tree |
| 2020-05-10 |
Michael Nolan | Implement rlwimi as well
|
commit | commitdiff | tree |
| 2020-05-10 |
Michael Nolan | Implement rlwinm in alu
|
commit | commitdiff | tree |
| 2020-05-10 |
Michael Nolan | Add test for rlwinm
|
commit | commitdiff | tree |
| 2020-05-10 |
Michael Nolan | Reduce BMC depth on proof_main_stage.py
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Add shift left and shift right to main stage proof
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Handle algebraic shifts too
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Implement logical shift right
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Add support for sld
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Change shift left to be implemented with rotate and...
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Add mask generator for shift class instructions
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Add shift left opcode to main_stage
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Fix broken mask when x == y
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Add right shift test to test_caller.py
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Add shift test to test_caller, fix fixedshift being...
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Fix helpers.py not playing nicely with selectableInts
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Add reversed add and subtract, as well as lshift and...
|
commit | commitdiff | tree |
| 2020-05-09 |
Michael Nolan | Minor cleanup
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Oops, forgot pipeline.py
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add tests for immediates, add subf to tests
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add comments about the purpose of each alu stage
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add test for alu against simulator
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add assertions for output stage cr0
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add output stage
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add and or and xor to main_stage
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add carry in and out
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Have input_stage set the b operand to imm_data if it...
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add extra bits (carry, overflow, etc) to input and...
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Begin adding main ALU stage
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Convert alu to use the op in ctx
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add FPPipeContext to alu pipe_data
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add handling of A inversion and B input
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Begin adding input stage of alu
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Add pipe data for ALU pipeline
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Update gitignore in isa dir
|
commit | commitdiff | tree |
| 2020-05-08 |
Michael Nolan | Separate out ALU Input record from alu_hier.py
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Add test_branch_loop_ctr
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Add tests for conditional branches
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Ooops, forgot comparefixed.patch
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Get test_cmp working
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Fix test_mtcrf. Test has been verified against qemu
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Make FieldSelectableInt accept slices for set and get
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Add handling of add with comparison
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Fix bug with comparisons in selectable_int.py
|
commit | commitdiff | tree |
| 2020-05-07 |
Michael Nolan | Add test_mfcr
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Re-enable test_mtcrf
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Add length helper for getting length of a selectable int
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Add helper functions to replace direct comparison in...
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Look up spr length from spr table
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Add dict of spr properties to power_enums
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Implement bctr and mtspr
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Properly implement LR and CTR
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Add ability to patch generated isa files
|
commit | commitdiff | tree |
| 2020-05-06 |
Michael Nolan | Sorta kinda working bl and blr - need to properly implement lr
|
commit | commitdiff | tree |
| 2020-05-05 |
Michael Nolan | Add rudimentary branch capability
|
commit | commitdiff | tree |
| next |
projects / soc.git / search