projects
/
soc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Implement mtocrf (which isn't different from mtcrf?)
2020-05-16
Michael Nolan
Implement mtocrf (which isn't different from mtcrf?)
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Remove noisy print statements in selectable_int.py
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Add sprset.patch
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Add condition.patch
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Minor cleanup
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Implement mtcrf
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Add comments on what CROP (crand, cror) do and how...
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Add ports to ilang for test_caller.py
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Fix bug in branch's pipe_data
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Consolidate every pipe_data to use alu's integer data
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
OP_CROP fully working
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Update to latest wiki version - fix bug with crxor
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Implement mcrf in CR FU
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Get working mcrf in caller.py
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Update to latest wiki version - move crand to own opcode
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Make opcode for crand and friends
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Begin adding CR pipeline
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update to latest wiki version - Add CR FU
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add CR function unit
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update wiki to latest version.
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Fix bug introduced when I made it possible to set the...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Implement op_bcreg
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Remove TAR input, create fixed input for CTR and input...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
re-enable assert for correct function unit
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update to latest wiki version - add branch FU to branch...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Fix a couple of bugs with conditional branch with counter
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Implement ctr decrementing
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Oops, looks like I forgot to push the wiki update
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Begin implementing conditional branch
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add ability to specify initial CR state
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Implement signed branch immediates
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Change nia input to cia, implement linking
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Simplify main_stage.py
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Fix broken test_ba
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Implement relative branches, add explicit NIA input...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
add branch to absolute address
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Add rudimentary branch unit test bench
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update to latest wiki - add branch unit for branch...
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Implement OP_CMPEQB
commit
|
commitdiff
|
tree
2020-05-15
Michael Nolan
Update to latest wiki version - add definition for...
commit
|
commitdiff
|
tree
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
next