2020-03-22 |
Luke Kenneth Casso... | start putting LDSTSplitter together |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | set bigendian=1 in formal proofs of decoder (TODO:... |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | whoops cut/paste error |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | start on address splitter, idea is to use Queues |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | mention instruction fetch mapping section |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | shorten variables, add comments |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | add option to switch endianness on gnu as |
tree | commitdiff |
2020-03-21 |
Luke Kenneth Casso... | add big/little byte-reversing |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Fix proof_decoder2 |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Delete log messages in power_fields and power_fieldsn |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Minor cleanup |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Add test for branch to lr/ctr |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Add tests for branch instructions |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Add test for rotate/shift instructions |
tree | commitdiff |
2020-03-20 |
Michael Nolan | Remove unneeded condition register decoder |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add test for cmp with register |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add tests for load/store with immediate offset |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add ld and st instructions to the reg/reg test |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add checks for the decoding of RC (the . in some instru... |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add tests for register+immediate ops |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Factor out instruction generation and testing from... |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Cleanup test_decoder_gas.py |
tree | commitdiff |
2020-03-19 |
Michael Nolan | Add assertions for input registers |
tree | commitdiff |
2020-03-19 |
Luke Kenneth Casso... | fix silly errors in power_fieldsn.py |
tree | commitdiff |
2020-03-19 |
Luke Kenneth Casso... | invert bits of field in decoder (not instruction bits) |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Begin adding a test using GNU AS |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Add proof that all other opcodes decode to INVALID |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Fix bug where enum values weren't getting set to int |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | use function which reverses bit-order |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | comment reverse-order of bit-fields |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | done, bugs.libre-riscv.org/show_bug.cgi?id=261 |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Create SPR enum from sprs.csv |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Add more to decoder proof |
tree | commitdiff |
2020-03-18 |
Michael Nolan | Begin adding proof for decoder stage 1 |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | add comment about SPRs CSV |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | add comments |
tree | commitdiff |
2020-03-18 |
Luke Kenneth Casso... | import absolute paths |
tree | commitdiff |
2020-03-16 |
Luke Kenneth Casso... | clarify is_match manually |
tree | commitdiff |
2020-03-16 |
Luke Kenneth Casso... | add exploratory unit test for partial address matching |
tree | commitdiff |
2020-03-16 |
Luke Kenneth Casso... | comment out addr_we_i, seems not to be used |
tree | commitdiff |
2020-03-16 |
Luke Kenneth Casso... | connect up expander output, set up is_match to check... |
tree | commitdiff |
2020-03-16 |
Luke Kenneth Casso... | connect LenExpanders into PartialAddrBitmap |
tree | commitdiff |
2020-03-15 |
Luke Kenneth Casso... | crossreference to bugreport |
tree | commitdiff |
2020-03-15 |
Luke Kenneth Casso... | add description of how PartialAddrBitmap works |
tree | commitdiff |
2020-03-15 |
Luke Kenneth Casso... | add beginnings of link to lenexpanders |
tree | commitdiff |
2020-03-14 |
Luke Kenneth Casso... | add a LenExpand class which takes a (length, addr)... |
tree | commitdiff |
2020-03-14 |
Luke Kenneth Casso... | add beginnings of PartialAddrBitmap elaborate |
tree | commitdiff |
2020-03-13 |
Luke Kenneth Casso... | allow over-ride of address match function in PartialAdd... |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | fix more imports |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | fix more imports |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | enable rvfi, fix imports |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | destarify debug |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | dewildcardify units |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | dewildcardify unitsg |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | sort out imports to get minerva generate working |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | dewildcard core.py |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | dewildcard cache.py |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | dewildcard stage.py |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | dewildcard wishbone.py |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | replace isa import |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | de-starify csr.py |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | import minerva from soc.minerva |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | add minerva source from https://github.com/lambdaconcep... |
tree | commitdiff |
2020-03-11 |
Michael Nolan | Add assertions that instruction fields are correct |
tree | commitdiff |
2020-03-11 |
Michael Nolan | Add test for remaining bits |
tree | commitdiff |
2020-03-11 |
Michael Nolan | Add tests for DecodeOut and DecodeRC |
tree | commitdiff |
2020-03-11 |
Luke Kenneth Casso... | store ra in intermediate, to avoid creation of decoding... |
tree | commitdiff |
2020-03-10 |
Luke Kenneth Casso... | add "done" signal to CompALU and LDSTCompALU to be... |
tree | commitdiff |
2020-03-10 |
Luke Kenneth Casso... | initial test LD comp unit in scoreboard |
tree | commitdiff |
2020-03-10 |
Luke Kenneth Casso... | hmmm set store latch based on go_rd_i |
tree | commitdiff |
2020-03-10 |
Luke Kenneth Casso... | add ADD/ADDI test to LDSTCompUnit |
tree | commitdiff |
2020-03-10 |
Luke Kenneth Casso... | amazingly got LD working on LDSTCompUnit |
tree | commitdiff |
2020-03-10 |
Luke Kenneth Casso... | comments explaining what alu_hier.py does |
tree | commitdiff |
2020-03-10 |
Luke Kenneth Casso... | LD appears to be working as well although there is... |
tree | commitdiff |
2020-03-10 |
Luke Kenneth Casso... | whoops as simple as having inverted the LD/ST bit in... |
tree | commitdiff |
2020-03-10 |
Michael Nolan | Add cases for DecodeB and DecodeC |
tree | commitdiff |
2020-03-10 |
Michael Nolan | Refactor DecodeA test |
tree | commitdiff |
2020-03-10 |
Michael Nolan | Add proof for power_decoder2.DecodeA |
tree | commitdiff |
2020-03-10 |
Luke Kenneth Casso... | hmm not quite right, errr ST is working when setting... |
tree | commitdiff |
2020-03-10 |
Luke Kenneth Casso... | get LDSTCompALU debugged a bit: ST functionality working |
tree | commitdiff |
2020-03-09 |
Luke Kenneth Casso... | add comment on oper_i field |
tree | commitdiff |
2020-03-09 |
Luke Kenneth Casso... | disable transparent=False for now |
tree | commitdiff |
2020-03-09 |
Luke Kenneth Casso... | connect up LD to memory: set transparent mode to False. |
tree | commitdiff |
2020-03-09 |
Luke Kenneth Casso... | more comments for LDSTCompUnit |
tree | commitdiff |
2020-03-09 |
Luke Kenneth Casso... | update LDSTCompUnit comments |
tree | commitdiff |
2020-03-09 |
Luke Kenneth Casso... | try adding test memory store to LDSTCompUnit |
tree | commitdiff |
2020-03-09 |
Michael Nolan | Fix logical loop in DecodeA |
tree | commitdiff |
2020-03-09 |
Michael Nolan | Begin adding proof for decoder2 |
tree | commitdiff |
2020-03-09 |
Michael Nolan | Migrate imports to use absolute imports |
tree | commitdiff |
2020-03-09 |
Michael Nolan | Fix test |
tree | commitdiff |
2020-03-09 |
Luke Kenneth Casso... | sort imports on scoreboard |
tree | commitdiff |
2020-03-09 |
Luke Kenneth Casso... | add __init__.py files to decoder |
tree | commitdiff |
2020-03-09 |
Luke Kenneth Casso... | add __init__.py to soc |
tree | commitdiff |
2020-03-09 |
Luke Kenneth Casso... | move all source directories to soc so that "import... |
tree | commitdiff |
2020-03-08 |
Luke Kenneth Casso... | convert SPRs and others to Data.data/ok |
tree | commitdiff |
2020-03-08 |
Luke Kenneth Casso... | convert to output reg/imm data plus "ok" flag |
tree | commitdiff |
2020-03-08 |
Luke Kenneth Casso... | likewise comment out CR from decode, it is from the... |
tree | commitdiff |
2020-03-08 |
Luke Kenneth Casso... | take XER out of decode, it is from the CR regfile |
tree | commitdiff |
2020-03-08 |
Luke Kenneth Casso... | add test conversion to ilang to PowerDecoder2, fix... |
tree | commitdiff |
2020-03-08 |
Luke Kenneth Casso... | add class comments, add rtlil creator for PowerDecode2 |
tree | commitdiff |
next |