projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
comment inputs and outputs from ALU unit test
[soc.git] / src / soc / regfile /
2020-05-29 Luke Kenneth Casso... interesting. use of Settle() works, showing that Regfi... tree | commitdiff
2020-05-28 Luke Kenneth Casso... messing about with proof_regfile.py tree | commitdiff
2020-05-28 colepoirierAdded Initial() synchronous check with draft truth tree | commitdiff
2020-05-28 Luke Kenneth Casso... hmm.... tree | commitdiff
2020-05-28 colepoirierAdd sync Assert for _wrports 'wen' signal in proof_regf... 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 colepoirierDerive proof_regfile Driver from regfile.Register(... tree | commitdiff
2020-05-27 colepoirierFix indentation of regfile/formal/proof_regfile.py tree | commitdiff
2020-05-27 colepoirierFirst commit of proof of regfile, not working yet tree | commitdiff
2020-05-27 Luke Kenneth Casso... add extra INT regs port for now, add Fast Regfile tree | commitdiff
2020-05-27 Luke Kenneth Casso... added XER and CR regfiles, using new VirtualRegPort tree | commitdiff
2020-05-26 Luke Kenneth Casso... check assertions tree | commitdiff
2020-05-26 Luke Kenneth Casso... make read/write regs properly internal tree | commitdiff
2020-05-26 Luke Kenneth Casso... add VirtualRegPort test, seems to demonstrate it working tree | commitdiff
2020-05-26 Luke Kenneth Casso... remove sync (not needed) tree | commitdiff
2020-05-26 Luke Kenneth Casso... get score6600_multi.py working again tree | commitdiff
2020-05-26 Luke Kenneth Casso... redo focus of virtual reg port to do only full datawidt... tree | commitdiff
2020-05-26 Luke Kenneth Casso... sort-of (maybe) implemented a virtual port on top of... tree | commitdiff
2020-05-26 Luke Kenneth Casso... try new variant of VirtualRegFile tree | commitdiff
2020-05-26 Luke Kenneth Casso... use nmutil treereduce tree | commitdiff
2020-05-26 Luke Kenneth Casso... continue virtual regfile port tree | commitdiff
2020-05-26 colepoirierFirst attempt at implementing block access rd and wr... tree | commitdiff
2020-05-25 Luke Kenneth Casso... correct links in regfile docstring tree | commitdiff
2020-05-25 Luke Kenneth Casso... document regfiles tree | commitdiff
2020-05-25 Luke Kenneth Casso... add INT, SPR and CR regfiles tree | commitdiff
2020-05-24 Luke Kenneth Casso... add stub regfiles.py tree | commitdiff
2020-03-09 Luke Kenneth Casso... move all source directories to soc so that "import... tree | commitdiff