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

2020-05-24	Luke Kenneth...	add test of reg output, for MFCRF and ISEL	commit \| commitdiff \| tree
2020-05-24	Cesar Strauss	Avoid overwriting the first vcd file with the second one	commit \| commitdiff \| tree
2020-05-24	Cesar Strauss	Rename the internal DFF of latchregisters to avoid...	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	add gitignore for branch fu formal	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	add OP_CMPB formal proof	commit \| commitdiff \| tree
2020-05-24	Michael Nolan	Assert that ctr is only written when needed	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	split out Popcount into separate module: visually it...	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	copy code for MTMSR from microwatt into comments	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	add links for trap main stage	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	add untested OP_MTMSR and OP_MFMSR	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	update to new CSV files in submodule	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	add MFMSR and MTMSRD enums to Function	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	comment and add links to branch formal proof	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	add copy of bpermd proof to logical formal proof (not...	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	track down overwrite of variable b	commit \| commitdiff \| tree
2020-05-24	Michael Nolan	Fix proof of bpermd module	commit \| commitdiff \| tree
2020-05-24	Michael Nolan	Fix bpermd and make tests pass	commit \| commitdiff \| tree
2020-05-24	Michael Nolan	Fix test_pipe_caller to conform to new Data() interface...	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	add stub regfiles.py	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	hmm...	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	add very rapid DummyALU for test purposes in MultiCompUnit	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	comments on branch pipeline	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	convert CR pipeline to Data.ok	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	convert ALU to output Data on int reg	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth...	convert logical to output Data on int reg	commit \| commitdiff \| tree
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
next

RSS Atom