2020-06-01 |
Cesar Strauss | Add rdmaskn parameter and assert it along issue_i |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | add assertions for branch compunit output |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | invert SPR1/2 in branch output data |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | decode SPRs for branch |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | swap over SPR1/2 to fit with microwatt SPR conventions |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | add first version compunit branch test |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | whoops need to read RS in CR inputs test |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | add first version of CR CompUnit test |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | minor adjustment, zero test in ALU output stage |
tree | commitdiff |
2020-06-01 |
Luke Kenneth Casso... | remove unneeded code |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | bit-test on the function-unit value being tested |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | add logical compunit test |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | comment inputs and outputs from ALU unit test |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | imports - use of globals. baaaad |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | remove unneeded code and inputs. convert to "naming... |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | split out common code from test_alu_compunit.py |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | add comments for MultiCompUnit parallel test |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | de-hard-code-ify getting results from MultiCompUnit |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | remove unneeded imports |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | split out compalu unit tests to separate module (gettin... |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | HA! found a bug in MultiCompUnit handling of write... |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | clarify |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | OP_CMPEQB also requesting change of output reg (stop... |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | OP_CMP is requesting a change of the output register... |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | still investigating |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | start with zero, try not to compare against 9 bytes... |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | more debug statements |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | add in more CR debug statements |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | copy in cr0.data into cr0 temp, not whole of cr0 (inclu... |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | remove commented-out vars from ALU input record |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | write cr0 when op.write_cr.ok is set |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | add write_cr to ALU record subset |
tree | commitdiff |
2020-05-31 |
Luke Kenneth Casso... | comment out xer ov/so for now |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | get carry from cr write_cr |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | select CR0 write out only when RC=1 |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | set CR0 output when OP_CMP or OP_CMPEQB need it |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | add in use of "Settle" |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | add in write-mask into MultiCompUnit and MCU-ALU unit... |
tree | commitdiff |
2020-05-30 |
Tobias Platen | Merge branch 'master' of ssh://git.libre-riscv.org... |
tree | commitdiff |
2020-05-30 |
Tobias Platen | unit test for DataMerger |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | create read-mask for ALU CompUnit: switches off optiona... |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | create a write-mask, anything with an "ok" in the Recor... |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | allow MultiCompUnit outputs to be Records, to capture... |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | add read-mask to MultiCompUnit |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | code-shuffle / comments |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | mess - but a functional mess. ALU-MultiCompUnit semi... |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | grab other results from ALU pipeline in compunit test |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | order of XER so/ca wrong way round from regspec |
tree | commitdiff |
2020-05-30 |
Luke Kenneth Casso... | still experimenting with ALU-CompUnit interaction |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | interesting. use of Settle() works, showing that Regfi... |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | module comments for popcount |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | comments on popcount |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | trigger ALU ready when operands ready |
tree | commitdiff |
2020-05-29 |
Tobias Platen | fixes for DataMerger |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | trigger read ALU ready/valid from latch as well |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | use a latch to communicate read/valid output from ALU |
tree | commitdiff |
2020-05-29 |
Tobias Platen | DataMerger: rename addr_match_i to addr_array_i |
tree | commitdiff |
2020-05-29 |
Tobias Platen | fixed 'return m is missing' |
tree | commitdiff |
2020-05-29 |
Tobias Platen | whitespace fixes |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | latch all output on ALU output valid |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | create read-done pulse |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | write-release moves out of "ALU valid" due to using... |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | signal start of request from when ALU triggers result... |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | create rising pulse from ALU valid |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | names of attributes needs to be dest_o not dest_i |
tree | commitdiff |
2020-05-29 |
Luke Kenneth Casso... | rename output signals in Test ALU |
tree | commitdiff |
2020-05-29 |
Cesar Strauss | Allow immediate assertion of go in the same cycle as rel |
tree | commitdiff |
2020-05-29 |
Cesar Strauss | Correct typo |
tree | commitdiff |
2020-05-29 |
Cesar Strauss | Send a one-clock "go" pulse after a configurable number... |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | messing about with proof_regfile.py |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | move simple_popcount out of class (does not use any... |
tree | commitdiff |
2020-05-28 |
colepoirier | Added Initial() synchronous check with draft truth |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | extra check on rd.req in test_alu_compunit |
tree | commitdiff |
2020-05-28 |
Tobias Platen | indention |
tree | commitdiff |
2020-05-28 |
Michael Nolan | Add proof for OP_SETB |
tree | commitdiff |
2020-05-28 |
Michael Nolan | Add OP_SETB |
tree | commitdiff |
2020-05-28 |
Michael Nolan | Fix test_isel to properly examine registers |
tree | commitdiff |
2020-05-28 |
Tobias Platen | unittest for DataMerger |
tree | commitdiff |
2020-05-28 |
Tobias Platen | more fixes for DataMerger |
tree | commitdiff |
2020-05-28 |
Tobias Platen | Merge branch 'master' of ssh://git.libre-riscv.org... |
tree | commitdiff |
2020-05-28 |
Tobias Platen | fixes for l0_cache.py |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | debug-print rd/wr rel in test_alu_compunit |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | add quick test of 3-operand DummyALU in MultiCompALU |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | add 3rd parameter to DummyALU |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | debugging test_alu_compunit.py |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | start on a compunit ALU test |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | update comment |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | remove trick of not setting SO |
tree | commitdiff |
2020-05-28 |
Cesar Strauss | Check that rd rises after issue_i, unless it's immediate |
tree | commitdiff |
2020-05-28 |
Luke Kenneth Casso... | hmm.... |
tree | commitdiff |
2020-05-28 |
colepoirier | Add sync Assert for _wrports 'wen' signal in proof_regf... |
tree | commitdiff |
2020-05-28 |
Cesar Strauss | Store and present parameters together with issue_i |
tree | commitdiff |
2020-05-27 |
Luke Kenneth Casso... | do not use range(0, x) - just range(x) |
tree | commitdiff |
2020-05-27 |
Luke Kenneth Casso... | remove write-block on register zero |
tree | commitdiff |
2020-05-27 |
Luke Kenneth Casso... | code-morph, add TODO on OP_RFID, OP_SC, OP_ADDPCIS |
tree | commitdiff |
2020-05-27 |
colepoirier | Derive proof_regfile Driver from regfile.Register(... |
tree | commitdiff |
2020-05-27 |
colepoirier | Fix indentation of regfile/formal/proof_regfile.py |
tree | commitdiff |
2020-05-27 |
colepoirier | First commit of proof of regfile, not working yet |
tree | commitdiff |
2020-05-27 |
Luke Kenneth Casso... | add LD/ST pipe_data |
tree | commitdiff |
2020-05-27 |
Luke Kenneth Casso... | LogicalOutputData does not need XER.so |
tree | commitdiff |
next |