projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
write-release moves out of "ALU valid" due to using alu_pulse
[soc.git] / src / soc / regfile / formal /
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 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