projects
/
soc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
add fast spr1/2 sim ALUHelpers
2020-06-10
Michael Nolan
modify qemu.py to set qemu's cr to 0
commit
|
commitdiff
|
tree
2020-06-08
Michael Nolan
Add register assertions, fix broken tests
commit
|
commitdiff
|
tree
2020-06-08
Michael Nolan
Update to latest wiki version
commit
|
commitdiff
|
tree
2020-06-08
Michael Nolan
Restore test_sim.py, begin modifying it for testing...
commit
|
commitdiff
|
tree
2020-06-02
Michael Nolan
Select spr1 for bcctr - use fast_spr decoding from...
commit
|
commitdiff
|
tree
2020-06-02
Michael Nolan
Fix broken wiki version
commit
|
commitdiff
|
tree
2020-06-02
Michael Nolan
Handle removal of spr2 field from decoder
commit
|
commitdiff
|
tree
2020-06-02
Michael Nolan
Fix test_bc_reg
commit
|
commitdiff
|
tree
2020-06-02
Michael Nolan
Fix issues with test_bc_reg, wrong instruction field...
commit
|
commitdiff
|
tree
2020-06-01
Michael Nolan
Add proof for RegFile
commit
|
commitdiff
|
tree
2020-06-01
Michael Nolan
Add proof for RegFileArray
commit
|
commitdiff
|
tree
2020-06-01
Michael Nolan
Have regfile use AnySeq instead of AnyConst
commit
|
commitdiff
|
tree
2020-06-01
Michael Nolan
Enable k-induction for register file proof
commit
|
commitdiff
|
tree
2020-06-01
Michael Nolan
That was weird. For some reason it wasn't generating...
commit
|
commitdiff
|
tree
2020-06-01
Michael Nolan
Full BMC proof of Register
commit
|
commitdiff
|
tree
2020-06-01
Michael Nolan
Begin rewrite of proof_regfile.py
commit
|
commitdiff
|
tree
2020-05-28
Michael Nolan
Add proof for OP_SETB
commit
|
commitdiff
|
tree
2020-05-28
Michael Nolan
Update to latest wiki version
commit
|
commitdiff
|
tree
2020-05-28
Michael Nolan
Add OP_SETB
commit
|
commitdiff
|
tree
2020-05-28
Michael Nolan
Fix test_isel to properly examine registers
commit
|
commitdiff
|
tree
2020-05-27
Michael Nolan
Fix bug in alu main stage proof
commit
|
commitdiff
|
tree
2020-05-26
Michael Nolan
Add extras from bottom of the file
commit
|
commitdiff
|
tree
2020-05-26
Michael Nolan
Rewrite proof to be more in line with what appears...
commit
|
commitdiff
|
tree
2020-05-25
Michael Nolan
Correct polarity of shadow signal
commit
|
commitdiff
|
tree
2020-05-25
Michael Nolan
Add link to compunit wiki page
commit
|
commitdiff
|
tree
2020-05-25
Michael Nolan
Correct property numbers, add assertions about busy
commit
|
commitdiff
|
tree
2020-05-25
Michael Nolan
Add assertions about go_wr and wr_rel
commit
|
commitdiff
|
tree
2020-05-25
Michael Nolan
Minor cleanup of comments
commit
|
commitdiff
|
tree
2020-05-25
Michael Nolan
Minor changes to alu_hier.py to allow it to be used...
commit
|
commitdiff
|
tree
2020-05-25
Michael Nolan
Begin working on proof for compunit/fu
commit
|
commitdiff
|
tree
2020-05-24
Michael Nolan
Assert that ctr is only written when needed
commit
|
commitdiff
|
tree
2020-05-24
Michael Nolan
Fix proof of bpermd module
commit
|
commitdiff
|
tree
2020-05-24
Michael Nolan
Fix bpermd and make tests pass
commit
|
commitdiff
|
tree
2020-05-24
Michael Nolan
Fix test_pipe_caller to conform to new Data() interface...
commit
|
commitdiff
|
tree
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
next