projects
/
soc.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
use shortened convenience variable in PowerDecoder2
2020-06-08
colepoirier
Fix spelling
commit
|
commitdiff
|
tree
2020-06-07
colepoirier
Add TrapMainStage.trap() convenience function to set...
commit
|
commitdiff
|
tree
2020-06-07
colepoirier
Add back test cases to cookie-cut from for fu/trap...
commit
|
commitdiff
|
tree
2020-06-07
colepoirier
Fix missing 'comb +='
commit
|
commitdiff
|
tree
2020-06-05
colepoirier
Added skeleton fu/trap/test/test_pipe_caller using
commit
|
commitdiff
|
tree
2020-06-05
colepoirier
Add trap_input_data.py for fu/trap, cookie-cut from
commit
|
commitdiff
|
tree
2020-06-05
colepoirier
Made small changes to fu/trap/main_stage to bring nmigen...
commit
|
commitdiff
|
tree
2020-06-04
colepoirier
Use a_i and b_i convenience variables instead of a...
commit
|
commitdiff
|
tree
2020-06-04
colepoirier
Undo damage done by deleting VHDL microwatt comments,
commit
|
commitdiff
|
tree
2020-06-03
colepoirier
Fixed missing nia.ok.eq(1) in OP_RFID
commit
|
commitdiff
|
tree
2020-06-03
colepoirier
Fixed merge conflict by using remote changes
commit
|
commitdiff
|
tree
2020-06-03
colepoirier
Fixed OP_RFID and OP_SC in fu/trap/main_stage
commit
|
commitdiff
|
tree
2020-06-03
colepoirier
Attempted to fix OP_RFID in TRAP pipeline
commit
|
commitdiff
|
tree
2020-06-02
colepoirier
Implement TRAP instructions OP_RFID and OP_SC
commit
|
commitdiff
|
tree
2020-05-28
colepoirier
Added Initial() synchronous check with draft truth
commit
|
commitdiff
|
tree
2020-05-28
colepoirier
Add sync Assert for _wrports 'wen' signal in proof_regfile...
commit
|
commitdiff
|
tree
2020-05-27
colepoirier
Derive proof_regfile Driver from regfile.Register(...
commit
|
commitdiff
|
tree
2020-05-27
colepoirier
Fix indentation of regfile/formal/proof_regfile.py
commit
|
commitdiff
|
tree
2020-05-27
colepoirier
First commit of proof of regfile, not working yet
commit
|
commitdiff
|
tree
2020-05-26
colepoirier
First attempt at implementing block access rd and wr...
commit
|
commitdiff
|
tree
2020-05-23
colepoirier
Added branch and shift_rot imports to fu/compunits...
commit
|
commitdiff
|
tree
2020-05-20
colepoirier
Added OP_BPERMD to fu/logical pipeline, with test
commit
|
commitdiff
|
tree
2020-05-19
colepoirier
Renamed bperm files in fu/logical and fu/logical formal...
commit
|
commitdiff
|
tree
2020-05-19
colepoirier
Added luke's suggested code to cover all 3 assertions...
commit
|
commitdiff
|
tree
2020-05-18
colepoirier
Added 2nd of 3 assertions for proof_bperm.py, currently...
commit
|
commitdiff
|
tree
2020-05-17
colepoirier
Removed extraneous variable from 'ports=[..]' of main...
commit
|
commitdiff
|
tree
2020-05-17
colepoirier
Applied PEP8 formatting to bperm.py
commit
|
commitdiff
|
tree
2020-05-16
colepoirier
Removed from bperm.py extraneous creation of temporary...
commit
|
commitdiff
|
tree
2020-05-16
colepoirier
Made creation of Array of Signals in bperm.py more...
commit
|
commitdiff
|
tree
2020-05-16
colepoirier
Implemented luke's TODOs by adding 'reset_less' to...
commit
|
commitdiff
|
tree
2020-05-16
colepoirier
Added working bperm.py, but is too gate heavy, as well...
commit
|
commitdiff
|
tree