2020-08-14 |
Luke Kenneth Casso... | hrfid unit test sets up HSRR0 and HSRR1 |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | hack to get hrfid not to alter msr 51 |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | fix test_compunit.py after moving decoder rdflags function |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | add hrfid unit test |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | sort out instruction stop/cancel when adding a new... |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | divide shiftrot pipeline into 2 (simple last) |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | divide alu pipeline into 2 (simple last) |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | divide logical pipe into 2 (simple phase last) |
tree | commitdiff |
2020-08-11 |
Luke Kenneth Casso... | reduce regfile ports by creating separate STATE regfile |
tree | commitdiff |
2020-08-11 |
Luke Kenneth Casso... | whoops fix change of variable (state) msr/pc |
tree | commitdiff |
2020-08-10 |
Samuel A. Falvo II | WIP!! Make MUL pipeline proof run again. |
tree | commitdiff |
2020-08-09 |
Luke Kenneth Casso... | divwo case makes test_issuer stay busy! |
tree | commitdiff |
2020-08-09 |
Luke Kenneth Casso... | add extra divwo regression test |
tree | commitdiff |
2020-08-08 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-08 |
Cole Poirier | Update test case_mulli |
tree | commitdiff |
2020-08-07 |
Cole Poirier | Update test case_mulli |
tree | commitdiff |
2020-08-07 |
Cole Poirier | Update test case_mulli, I think it now works correctly |
tree | commitdiff |
2020-08-07 |
Cole Poirier | Update mulli to try to use immediates not registers |
tree | commitdiff |
2020-08-06 |
Cole Poirier | Fix formatting |
tree | commitdiff |
2020-08-06 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-06 |
Cole Poirier | Update test case_all_rb_close_to_ov |
tree | commitdiff |
2020-08-06 |
Cole Poirier | Update test case_all_rb_close_to_ov |
tree | commitdiff |
2020-08-06 |
Cole Poirier | Add special test for case_mulli, apply autopep8 |
tree | commitdiff |
2020-08-05 |
Cole Poirier | Add test case_all_rb_close_to_ov |
tree | commitdiff |
2020-08-05 |
Cole Poirier | Remove mulli from instrs in test case_all*, add TODO... |
tree | commitdiff |
2020-08-05 |
Cole Poirier | Add new test_values to tests case_all and case_all_rb_r... |
tree | commitdiff |
2020-08-05 |
Cole Poirier | Add second case_all test where rb is randint |
tree | commitdiff |
2020-08-05 |
Cole Poirier | Remove madd* isns, added madd* isns test TODO |
tree | commitdiff |
2020-08-05 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-05 |
Luke Kenneth Casso... | add div FSM as default for test_issuer in verilog and... |
tree | commitdiff |
2020-08-05 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-05 |
Jacob Lifshay | Fixed div pipe with FSM |
tree | commitdiff |
2020-08-05 |
Cole Poirier | Fix pysim deprecation warning |
tree | commitdiff |
2020-08-05 |
Cole Poirier | Add case_all to MUL unit tests, remove duplicate test... |
tree | commitdiff |
2020-08-04 |
Luke Kenneth Casso... | msr and pc moved to "state" in PowerDecode2 |
tree | commitdiff |
2020-08-04 |
Samuel A. Falvo II | Remove XXX; this seems done otherwise. |
tree | commitdiff |
2020-08-03 |
Samuel A. Falvo II | WIP: check MB > ME and select mask appropriately |
tree | commitdiff |
2020-08-01 |
Luke Kenneth Casso... | add rlwnm test showing that shift rot OP_RLC proof... |
tree | commitdiff |
2020-08-01 |
Luke Kenneth Casso... | line-length / whitespace |
tree | commitdiff |
2020-08-01 |
Luke Kenneth Casso... | expand out for-loop setting up input record subset |
tree | commitdiff |
2020-07-31 |
Luke Kenneth Casso... | missed go_i/rel_o rename |
tree | commitdiff |
2020-07-31 |
Samuel A. Falvo II | WIP: more debugging signals for inspection |
tree | commitdiff |
2020-07-30 |
Samuel A. Falvo II | WIP: rlwinm/rlwnm/rlwimi-type proofs |
tree | commitdiff |
2020-07-29 |
Luke Kenneth Casso... | bit of a big change: add prefixes "cu_" to all CompUnit... |
tree | commitdiff |
2020-07-29 |
Luke Kenneth Casso... | move CR test out of subtest indentation |
tree | commitdiff |
2020-07-29 |
Luke Kenneth Casso... | move SHIFTROT test out of subtest indentation |
tree | commitdiff |
2020-07-29 |
Luke Kenneth Casso... | move actual ALU test out of subTest indentation just... |
tree | commitdiff |
2020-07-29 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-07-29 |
Jacob Lifshay | clean up branch test_pipe_caller |
tree | commitdiff |
2020-07-29 |
Jacob Lifshay | clean up alu test_pipe_caller |
tree | commitdiff |
2020-07-29 |
Jacob Lifshay | add __init__.py to all source directories |
tree | commitdiff |
2020-07-29 |
Jacob Lifshay | format some tests |
tree | commitdiff |
2020-07-29 |
Jacob Lifshay | add code for skipping test cases |
tree | commitdiff |
2020-07-28 |
Jacob Lifshay | clean up div pipe tests to allow them to be run in... |
tree | commitdiff |
2020-07-28 |
Jacob Lifshay | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2020-07-28 |
Jacob Lifshay | fix test_pipe_ilang.py |
tree | commitdiff |
2020-07-28 |
Luke Kenneth Casso... | use ctx.op compare (and muxid) in shiftrot proof |
tree | commitdiff |
2020-07-28 |
Jacob Lifshay | split out ilang tests |
tree | commitdiff |
2020-07-28 |
Jacob Lifshay | format code |
tree | commitdiff |
2020-07-28 |
Luke Kenneth Casso... | tidyup/comments in trap proof |
tree | commitdiff |
2020-07-27 |
Luke Kenneth Casso... | fix trap proof, and trap main_stage, and pseudocode... |
tree | commitdiff |
2020-07-27 |
Luke Kenneth Casso... | shorten expected_ to exp_, gets line-length down |
tree | commitdiff |
2020-07-26 |
Samuel A. Falvo II | MTMSR(D) properties. |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | argh add yet another latch to detect when LD/ST has... |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | sigh, issue with detection/waiting for LD/ST CompUnit |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | convert LDST test to accumulator style |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | convert Branch test to accumulator style |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | convert SPR test to accumulator style |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | convert TRAP test to accumulator style |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | remove FHDLTestCase |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | convert CR test to accumulator style |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | convert mul test to accumulator style |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | convert shift_rot test to new base accumulator style |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | convert logical test case to new base class accumulator... |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | move run_test_program to base class and rename to ... |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | convert ALU to new accumulator style |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | again, move large heavily-indented code-block in div... |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | run subtest, indentation getting too large, move to... |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | get div compunit test running (use new way to accumulat... |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | use new test accumulator class in div tests |
tree | commitdiff |
2020-07-26 |
Luke Kenneth Casso... | add common test base class for "accumulating" tests... |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | remove old div overflow test, keep microwatt version |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | comb += missing |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | add CR0 regression, expected 0b10 actual 0b11 |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | add regression test 8, DivPipeCore producing spurious... |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | add pia back in |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | re-add pia_result_to_output function (minus "typing... |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | add div compunit test |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | wait until pipeline indicates that its output is valid... |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | move reset of rdmaskn to after "busy" |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | comment LDST FunctionUnit |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | going on a bit of a "naming" spree, this for Jean-Paul... |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | add spec page numbers to logical ops |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | add page-number comments to ALU main_stage |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | update comment-headers (TODO include page numbers to... |
tree | commitdiff |
2020-07-25 |
Luke Kenneth Casso... | make trap proof section more readable |
tree | commitdiff |
2020-07-24 |
Samuel A. Falvo II | Properties for MFMSR |
tree | commitdiff |
2020-07-24 |
Samuel A. Falvo II | Reorganize code layout |
tree | commitdiff |
2020-07-24 |
Samuel A. Falvo II | WIP: SC properties more closely match doc'd behavior |
tree | commitdiff |
2020-07-24 |
Samuel A. Falvo II | WIP: addressing code review, restoring proofs, etc. |
tree | commitdiff |
next |