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

2020-05-31	Luke Kenneth...	more debug statements	commit \| commitdiff \| tree
2020-05-31	Luke Kenneth...	add in more CR debug statements	commit \| commitdiff \| tree
2020-05-31	Luke Kenneth...	copy in cr0.data into cr0 temp, not whole of cr0 (inclu...	commit \| commitdiff \| tree
2020-05-31	Luke Kenneth...	remove commented-out vars from ALU input record	commit \| commitdiff \| tree
2020-05-31	Luke Kenneth...	write cr0 when op.write_cr.ok is set	commit \| commitdiff \| tree
2020-05-31	Luke Kenneth...	add write_cr to ALU record subset	commit \| commitdiff \| tree
2020-05-31	Luke Kenneth...	comment out xer ov/so for now	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	get carry from cr write_cr	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	select CR0 write out only when RC=1	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	set CR0 output when OP_CMP or OP_CMPEQB need it	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	add in use of "Settle"	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	add in write-mask into MultiCompUnit and MCU-ALU unit...	commit \| commitdiff \| tree
2020-05-30	Tobias Platen	Merge branch 'master' of ssh://git.libre-riscv.org...	commit \| commitdiff \| tree
2020-05-30	Tobias Platen	unit test for DataMerger	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	create read-mask for ALU CompUnit: switches off optiona...	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	create a write-mask, anything with an "ok" in the Recor...	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	allow MultiCompUnit outputs to be Records, to capture...	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	add read-mask to MultiCompUnit	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	code-shuffle / comments	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	mess - but a functional mess. ALU-MultiCompUnit semi...	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	grab other results from ALU pipeline in compunit test	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	order of XER so/ca wrong way round from regspec	commit \| commitdiff \| tree
2020-05-30	Luke Kenneth...	still experimenting with ALU-CompUnit interaction	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	interesting. use of Settle() works, showing that Regfi...	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	module comments for popcount	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	comments on popcount	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	trigger ALU ready when operands ready	commit \| commitdiff \| tree
2020-05-29	Tobias Platen	fixes for DataMerger	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	trigger read ALU ready/valid from latch as well	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	use a latch to communicate read/valid output from ALU	commit \| commitdiff \| tree
2020-05-29	Tobias Platen	DataMerger: rename addr_match_i to addr_array_i	commit \| commitdiff \| tree
2020-05-29	Tobias Platen	fixed 'return m is missing'	commit \| commitdiff \| tree
2020-05-29	Tobias Platen	whitespace fixes	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	latch all output on ALU output valid	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	create read-done pulse	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	write-release moves out of "ALU valid" due to using...	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	signal start of request from when ALU triggers result...	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	create rising pulse from ALU valid	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	names of attributes needs to be dest_o not dest_i	commit \| commitdiff \| tree
2020-05-29	Luke Kenneth...	rename output signals in Test ALU	commit \| commitdiff \| tree
2020-05-29	Cesar Strauss	Allow immediate assertion of go in the same cycle as rel	commit \| commitdiff \| tree
2020-05-29	Cesar Strauss	Correct typo	commit \| commitdiff \| tree
2020-05-29	Cesar Strauss	Send a one-clock "go" pulse after a configurable number...	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	messing about with proof_regfile.py	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	move simple_popcount out of class (does not use any...	commit \| commitdiff \| tree
2020-05-28	colepoirier	Added Initial() synchronous check with draft truth	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	extra check on rd.req in test_alu_compunit	commit \| commitdiff \| tree
2020-05-28	Tobias Platen	indention	commit \| commitdiff \| tree
2020-05-28	Michael Nolan	Add proof for OP_SETB	commit \| commitdiff \| tree
2020-05-28	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
2020-05-28	Michael Nolan	Add OP_SETB	commit \| commitdiff \| tree
2020-05-28	Michael Nolan	Fix test_isel to properly examine registers	commit \| commitdiff \| tree
2020-05-28	Tobias Platen	unittest for DataMerger	commit \| commitdiff \| tree
2020-05-28	Tobias Platen	more fixes for DataMerger	commit \| commitdiff \| tree
2020-05-28	Tobias Platen	Merge branch 'master' of ssh://git.libre-riscv.org...	commit \| commitdiff \| tree
2020-05-28	Tobias Platen	fixes for l0_cache.py	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	debug-print rd/wr rel in test_alu_compunit	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	add quick test of 3-operand DummyALU in MultiCompALU	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	add 3rd parameter to DummyALU	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	debugging test_alu_compunit.py	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	start on a compunit ALU test	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	update comment	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	remove trick of not setting SO	commit \| commitdiff \| tree
2020-05-28	Cesar Strauss	Check that rd rises after issue_i, unless it's immediate	commit \| commitdiff \| tree
2020-05-28	Luke Kenneth...	hmm....	commit \| commitdiff \| tree
2020-05-28	colepoirier	Add sync Assert for _wrports 'wen' signal in proof_regf...	commit \| commitdiff \| tree
2020-05-28	Cesar Strauss	Store and present parameters together with issue_i	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	do not use range(0, x) - just range(x)	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	remove write-block on register zero	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	code-morph, add TODO on OP_RFID, OP_SC, OP_ADDPCIS	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-27	Luke Kenneth...	add LD/ST pipe_data	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	LogicalOutputData does not need XER.so	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	comments	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	remove XER.ca from logical Input Data - not needed	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	cleanup logical main proof	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	check cr0, ov and ca ok signals in ALU main_stage proof	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	add carry-out, overflow and cr0 ok setting in ALU main_...	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	add SRR0 to TrapInputData	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	add links to bugreports into ALu formal proof as well	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	add links to bugreports into alu output stage proof	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	check reg output Data.ok in shift_rot formal proof	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	rename CROutputData.cr_o to just CROutputData.cr	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	test Data.ok for cr output and full cr output	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	assign and test on Data, TODO add Data.ok checking...	commit \| commitdiff \| tree
2020-05-27	Michael Nolan	Fix bug in alu main stage proof	commit \| commitdiff \| tree
2020-05-27	Cesar Strauss	Move test case parameters to an "operation" member...	commit \| commitdiff \| tree
2020-05-27	Tobias Platen	Merge branch 'master' of ssh://git.libre-riscv.org...	commit \| commitdiff \| tree
2020-05-27	Tobias Platen	elaborate function for DataMerger	commit \| commitdiff \| tree
2020-05-27	Cesar Strauss	Remove the monitor process	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	make power function unit enum bitmasked	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	add extra INT regs port for now, add Fast Regfile	commit \| commitdiff \| tree
2020-05-27	Luke Kenneth...	added XER and CR regfiles, using new VirtualRegPort	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	check assertions	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	make read/write regs properly internal	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	add VirtualRegPort test, seems to demonstrate it working	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	remove sync (not needed)	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth...	get score6600_multi.py working again	commit \| commitdiff \| tree
next

RSS Atom