| 2020-08-06 |
Cole Poirier | Update test case_all_rb_close_to_ov
|
commit | commitdiff | tree |
| 2020-08-06 |
Cole Poirier | Update test case_all_rb_close_to_ov
|
commit | commitdiff | tree |
| 2020-08-06 |
Cole Poirier | Add special test for case_mulli, apply autopep8
|
commit | commitdiff | tree |
| 2020-08-05 |
Cole Poirier | Add test case_all_rb_close_to_ov
|
commit | commitdiff | tree |
| 2020-08-05 |
Cole Poirier | Remove mulli from instrs in test case_all*, add TODO...
|
commit | commitdiff | tree |
| 2020-08-05 |
Cole Poirier | Add new test_values to tests case_all and case_all_rb_randint
|
commit | commitdiff | tree |
| 2020-08-05 |
Cole Poirier | Add second case_all test where rb is randint
|
commit | commitdiff | tree |
| 2020-08-05 |
Cole Poirier | Remove madd* isns, added madd* isns test TODO
|
commit | commitdiff | tree |
| 2020-08-05 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc
|
commit | commitdiff | tree |
| 2020-08-05 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc
|
commit | commitdiff | tree |
| 2020-08-05 |
Cole Poirier | Fix pysim deprecation warning
|
commit | commitdiff | tree |
| 2020-08-05 |
Cole Poirier | Add case_all to MUL unit tests, remove duplicate test...
|
commit | commitdiff | tree |
| 2020-07-24 |
Cole Poirier | Update libreriscv/HDL_workflow with instructions how...
|
commit | commitdiff | tree |
| 2020-07-23 |
Cole Poirier | Update libreriscv HDL_workflow/coriolis2
|
commit | commitdiff | tree |
| 2020-06-20 |
colepoirier | Add code, commented-out, for TRAP so as to not break...
|
commit | commitdiff | tree |
| 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 |
|
projects / soc.git / search