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

2020-05-24	Luke Kenneth...	start using Data in pipelines	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	cleanup/code-munge on ALU main stage proof	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	error in alu output stage formal proof setup	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	output registers need to be Data type (consistently)	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	spelling mistake in variable	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	TODO mention OP_MTMSR/OP_MFMSR	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	add RA to trap pipeline, for OP_MTMSR/OP_MFMSR	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	move docstring to wiki for compunit	commit \| commitdiff \| tree
2020-05-23	colepoirier	Added branch and shift_rot imports to fu/compunits...	commit \| commitdiff \| tree
2020-05-23	Cesar Strauss	Add a few test cases with zero_a set, in combination...	commit \| commitdiff \| tree
2020-05-23	Cesar Strauss	Allow zero_a to be set when simulating an operation	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add input / output stage missing modules	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	common function for op zero and op immed	commit \| commitdiff \| tree
2020-05-23	Cesar Strauss	Choose between RA (src1) and zero immediate, conditione...	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	update docs on compunits	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	remove extraneous test_isel	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add comments	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	document purpose of regspec module	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	split out RegSpecs into separate module	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add TODO on multi-in multi-out Function Units	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	split out RegSpec API into separate class (TODO: move...	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add notes on FunctionUnit API	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	make MultiCompUnit and testing ALU use regspec API...	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	remove unneeded imports	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	make demo/test ALU look like nmigen pipeline API	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add stub DataMerger class	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add link to regspecs on wiki	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add regspec capability to MultiCompUnit	commit \| commitdiff \| tree
2020-05-23	Michael Nolan	Modify proof of isel to use full CR register	commit \| commitdiff \| tree
2020-05-23	Michael Nolan	Add test_isel	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	make immediate-or-RA selection optional based on awaren...	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	start to morph MultiCompUnit to take "regspec" as the...	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add CR_ISEL formal proof to CR pipeline	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add CR_ISEL (and unit test) to CR pipeline	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	update to (corrected) csv files for CR_ISEL	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	select bits 2:5 from BC to get CR0 to 7 in DecodeCRin	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add gitignore	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	CR field on Br input data is specd as 0:3 range	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth...	add b to CR pipe input data, for isel	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	add TODO and link to SHIFT_ROT formal bugreport	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	remove xer.so from ShiftRot formal proof	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	remove sticky overflow from Shift Rot pipeline	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	test branch ctr ok flag	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	cleaner way to test link register ok	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	whitespace	commit \| commitdiff \| tree
2020-05-22	Michael Nolan	Fix link handling in branch proof	commit \| commitdiff \| tree
2020-05-22	Michael Nolan	Update to latest wiki version - fix cr0 input for OP_CNTZ	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	variable-name munging for branch formal	commit \| commitdiff \| tree
2020-05-22	Michael Nolan	Add formal proof for branch unit, fix bug with bcreg	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	cleanup logical pipe formal proof	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	split out Logical Input and Output stages to common...	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	div probably uses ALU not Logical, needs double-checkin...	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	update comments for ALUCompUnit	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	soc.fu.logical.input_stage no different from ALU: delete	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	covert ALU FU to CommonInputStage	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	create common input pipe spec to avoid code-duplication	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	move CR over to CompCROpSubset	commit \| commitdiff \| tree
2020-05-22	Michael Nolan	Convert branch unit to new CR interface	commit \| commitdiff \| tree
2020-05-22	Michael Nolan	Complete CR proof	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	increase fu-fu test matrix size	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	remove unneeded code	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	rename ShiftRot to Mul in fu mul test	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	rename Logical to Div in fu div test	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	cookie-cut start on div pipe	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	add cookie-cut mul pipeline template	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	whitespace	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	over 80 chars	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	comment tidyup	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	use CompBROpSubset and reduce it down in size (remove...	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	code-shuffle	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth...	remove accidentally added branch input stage	commit \| commitdiff \| tree
2020-05-22	Tobias Platen	fix ModuleNotFoundError	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	add fu logical_input_record.py	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	update CROutputData to use Data()	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	update comments	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	whitespace cleanup	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	whitespace cleanup	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	remove input_cr, output_cr and is_32bit from CompCROpSubset	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	add read_cr_whole and write_cr_whole to CompCROpSubset	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	add first cut at cr_input_record.py	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	move Logical over to use CompLogicalOpSubset	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Partial attempt at proving the new cr unit.	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	argh syntax error	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	update and comment CR Input/Output Data specs	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	All CR tests now working	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	add CR out decoder debug	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	OP_CROP now working	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Begin porting cr pipeline to new interface	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Add third cr register select field to decoder	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	comment CompALUOpSubset, data_len is actually used...	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	comment DecodeCRIn and DecodeCROut, gratuitously	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	document subkls in CompUnitRecord	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	ARSE! frickin git submodules!	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth...	move CompLDSTOpSubset to fu.ldst.ldst_input_record	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Fix broken unit tests in test_caller	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Add cr output decoder to power_decoder2.py	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Add CR In decoder to power_decoder2.py	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Convert CR out to enum in power_decoder	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Update to latest wiki version - convert CR out to enum	commit \| commitdiff \| tree
next

RSS Atom