projects
/
soc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Allow zero_a to be set when simulating an operation
2020-05-23
Michael Nolan
Modify proof of isel to use full CR register
commit
|
commitdiff
|
tree
2020-05-23
Michael Nolan
Add test_isel
commit
|
commitdiff
|
tree
2020-05-22
Michael Nolan
Fix link handling in branch proof
commit
|
commitdiff
|
tree
2020-05-22
Michael Nolan
Update to latest wiki version - fix cr0 input for OP_CNTZ
commit
|
commitdiff
|
tree
2020-05-22
Michael Nolan
Add formal proof for branch unit, fix bug with bcreg
commit
|
commitdiff
|
tree
2020-05-22
Michael Nolan
Convert branch unit to new CR interface
commit
|
commitdiff
|
tree
2020-05-22
Michael Nolan
Complete CR proof
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Partial attempt at proving the new cr unit.
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
All CR tests now working
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
OP_CROP now working
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Begin porting cr pipeline to new interface
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Add third cr register select field to decoder
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Update to latest wiki version
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Fix broken unit tests in test_caller
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Add cr output decoder to power_decoder2.py
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Add CR In decoder to power_decoder2.py
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Convert CR out to enum in power_decoder
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Update to latest wiki version - convert CR out to enum
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Convert CR In field to enum instead of single bit
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Update to latest wiki version
commit
|
commitdiff
|
tree
2020-05-21
Michael Nolan
Fix broken test_adde/add overflow handling to caller.py
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_MCRF
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_MFCR
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Make test for bpermd exercise the module a bit more
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Revert "*technically* don't use a full crossbar"
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
*technically* don't use a full crossbar
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Revert "assign index to temporary"
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_CROP
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Begin adding CR proof
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Fix small bug in op_crop
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Use overflow definition from microwatt
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add overflow handling and proof
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Fix bug introduced in rebase
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_CNTZ
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add test for edge cases that were previously buggy
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Delete assume left over from testing
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_PRTY
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Formally verify OP_POPCNT
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Fix bug with popcntd
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_CMP and OP_CMPEQB
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add proof for OP_EXTS
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Add 32 bit carry handling to alu
commit
|
commitdiff
|
tree
2020-05-20
Michael Nolan
Fix broken test_caller.py
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Add should_trap signal to trap output data
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Add trap main stage
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Update to latest wiki version - fixing OP_TRAP
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Change OP_TWI/TDI/TW/TD to OP_TRAP
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Begin adding trap FU
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Implement 32 bit cntlz and cnttz
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Actually implement cntlzd
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Fix weird edge cases with carry
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Add ca32 to caller.py
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Handle carry out in alu
commit
|
commitdiff
|
tree
2020-05-19
Michael Nolan
Handle carry in caller.py
commit
|
commitdiff
|
tree
2020-05-18
Michael Nolan
Fix error with selecting a selectableint using a selectableint
commit
|
commitdiff
|
tree
2020-05-18
Michael Nolan
Update to latest wiki version
commit
|
commitdiff
|
tree
2020-05-17
Michael Nolan
Add incomplete proof_bperm.py with comments on how...
commit
|
commitdiff
|
tree
2020-05-17
Michael Nolan
Move perm inside Bpermd as it's not an input or output
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Add ilang output to test_maskgen.py
commit
|
commitdiff
|
tree
2020-05-16
Michael Nolan
Implement mfcr and mfocrf
commit
|
commitdiff
|
tree
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
next