projects
/
soc.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
soc.git
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
Luke Kenneth...
add cookie-cut version of branch, copied from Logical...
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-15
Luke Kenneth...
add count leading zero test into logical test_pipe_call...
commit
|
commitdiff
|
tree
2020-05-15
Luke Kenneth...
link countzero in to Logical pipeline
commit
|
commitdiff
|
tree
2020-05-15
Luke Kenneth...
output countzero ilang
commit
|
commitdiff
|
tree
2020-05-15
Luke Kenneth...
remove countzero vhdl tb code
commit
|
commitdiff
|
tree
2020-05-15
Luke Kenneth...
swap encode responses, 3210 not 0123 for left mode
commit
|
commitdiff
|
tree
2020-05-15
Luke Kenneth...
add some more tests to countzero
commit
|
commitdiff
|
tree
2020-05-15
Luke Kenneth...
cool! countzero unit test works!
commit
|
commitdiff
|
tree
2020-05-15
Luke Kenneth...
code-munging
commit
|
commitdiff
|
tree
2020-05-15
Luke Kenneth...
bit of code-morphing of countzero.py
commit
|
commitdiff
|
tree
2020-05-15
Luke Kenneth...
make module combinatorial
commit
|
commitdiff
|
tree
2020-05-15
Tobias Platen
converted countzero from microwatt
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
minor cleanup
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
more code-munging
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
random commenting and code-morph of Logical
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
tidy up rotator main stage
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
small code-shuffle
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
update submodule for parity
commit
|
commitdiff
|
tree
2020-05-14
Michael Nolan
Add patch for cmpb
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
update submodule isa tables to match OP_CMPB moving...
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
add parity test
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
add the ever-weird parity instruction
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
clarify code, use temporary
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
simplify popcount
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
add popcount test
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
add (untested) popcount
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
debug info on assertion
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
add comment about CMP swapping
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
cleanup Logical
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
invert test condition in formal proof of ALU output...
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
move inversion of cmp into output stage by inverting...
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
idea: invert pos/neg test in output stage, uses an...
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-14
Luke Kenneth...
minor experimental rework of LDSTCompUnit to suit score...
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
add TODO comments on Logical pipeline
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
whoops assertion that the Logical pipeline Function...
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
move forward to logical pipelines Function type
commit
|
commitdiff
|
tree
2020-05-14
Luke Kenneth...
add logical pipeline to Power decode Function enum
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
Luke Kenneth...
add TODO placeholders for popcount and parity
commit
|
commitdiff
|
tree
2020-05-13
Luke Kenneth...
minor tidyup
commit
|
commitdiff
|
tree
2020-05-13
Luke Kenneth...
comments on ALU pipeline
commit
|
commitdiff
|
tree
2020-05-13
Luke Kenneth...
update comment on Logical pipeline
commit
|
commitdiff
|
tree
2020-05-13
Luke Kenneth...
remove Logical operations from ALU pipeline
commit
|
commitdiff
|
tree
2020-05-13
Luke Kenneth...
split out Logical operations into separate pipeline
commit
|
commitdiff
|
tree
2020-05-13
Luke Kenneth...
comments (and whitespace
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
Luke Kenneth...
restore field decoders (works with BE/LE) in rotator
commit
|
commitdiff
|
tree
2020-05-13
Luke Kenneth...
minor cleanup of shift_rot main_stage
commit
|
commitdiff
|
tree
2020-05-13
Michael Nolan
Add missing input stage and pipe_data
commit
|
commitdiff
|
tree
2020-05-13
Luke Kenneth...
simplift right_mask and left_mask rotator sub-functions...
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 instr...
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-13
Luke Kenneth...
remove operand c from ALU in/out
commit
|
commitdiff
|
tree
2020-05-12
Luke Kenneth...
temporary reorg of reg/immediate reading
commit
|
commitdiff
|
tree
2020-05-12
Luke Kenneth...
add 3rd register input to ALUInputData
commit
|
commitdiff
|
tree
2020-05-12
Luke Kenneth...
connect LDSTMulti to 6600 Scoreboard
commit
|
commitdiff
|
tree
2020-05-12
Luke Kenneth...
when doing LD-immediate only acknowledge register 1...
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
Luke Kenneth...
comments from discussion
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-11
Luke Kenneth...
comment input signals
commit
|
commitdiff
|
tree
2020-05-11
Luke Kenneth...
cleanup rotator.py
commit
|
commitdiff
|
tree
2020-05-11
Luke Kenneth...
add docstring, missing return module
commit
|
commitdiff
|
tree
next