git.libre-soc.org Git - soc.git/search

2020-06-03	colepoirier	Fixed OP_RFID and OP_SC in fu/trap/main_stage	commit \| commitdiff \| tree
2020-06-03	colepoirier	Attempted to fix OP_RFID in TRAP pipeline	commit \| commitdiff \| tree
2020-06-02	colepoirier	Implement TRAP instructions OP_RFID and OP_SC	commit \| commitdiff \| tree
2020-05-28	colepoirier	Added Initial() synchronous check with draft truth	commit \| commitdiff \| tree
2020-05-28	colepoirier	Add sync Assert for _wrports 'wen' signal in proof_regfile...	commit \| commitdiff \| tree
2020-05-27	colepoirier	Derive proof_regfile Driver from regfile.Register(...	commit \| commitdiff \| tree
2020-05-27	colepoirier	Fix indentation of regfile/formal/proof_regfile.py	commit \| commitdiff \| tree
2020-05-27	colepoirier	First commit of proof of regfile, not working yet	commit \| commitdiff \| tree
2020-05-26	colepoirier	First attempt at implementing block access rd and wr...	commit \| commitdiff \| tree
2020-05-23	colepoirier	Added branch and shift_rot imports to fu/compunits...	commit \| commitdiff \| tree
2020-05-20	colepoirier	Added OP_BPERMD to fu/logical pipeline, with test	commit \| commitdiff \| tree
2020-05-19	colepoirier	Renamed bperm files in fu/logical and fu/logical formal...	commit \| commitdiff \| tree
2020-05-19	colepoirier	Added luke's suggested code to cover all 3 assertions...	commit \| commitdiff \| tree
2020-05-18	colepoirier	Added 2nd of 3 assertions for proof_bperm.py, currently...	commit \| commitdiff \| tree
2020-05-17	colepoirier	Removed extraneous variable from 'ports=[..]' of main...	commit \| commitdiff \| tree
2020-05-17	colepoirier	Applied PEP8 formatting to bperm.py	commit \| commitdiff \| tree
2020-05-16	colepoirier	Removed from bperm.py extraneous creation of temporary...	commit \| commitdiff \| tree
2020-05-16	colepoirier	Made creation of Array of Signals in bperm.py more...	commit \| commitdiff \| tree
2020-05-16	colepoirier	Implemented luke's TODOs by adding 'reset_less' to...	commit \| commitdiff \| tree
2020-05-16	colepoirier	Added working bperm.py, but is too gate heavy, as well...	commit \| commitdiff \| tree

RSS Atom