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