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

2020-05-24	Luke Kenneth Casson...	add gitignore for branch fu formal	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add OP_CMPB formal proof	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	split out Popcount into separate module: visually it...	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	copy code for MTMSR from microwatt into comments	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add links for trap main stage	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add untested OP_MTMSR and OP_MFMSR	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	update to new CSV files in submodule	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add MFMSR and MTMSRD enums to Function	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	comment and add links to branch formal proof	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add copy of bpermd proof to logical formal proof (not...	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	track down overwrite of variable b	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add stub regfiles.py	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	hmm...	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add very rapid DummyALU for test purposes in MultiCompUnit	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	comments on branch pipeline	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	convert CR pipeline to Data.ok	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	convert ALU to output Data on int reg	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	convert logical to output Data on int reg	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	start using Data in pipelines	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	cleanup/code-munge on ALU main stage proof	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	error in alu output stage formal proof setup	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	output registers need to be Data type (consistently)	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	spelling mistake in variable	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	TODO mention OP_MTMSR/OP_MFMSR	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add RA to trap pipeline, for OP_MTMSR/OP_MFMSR	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	move docstring to wiki for compunit	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add input / output stage missing modules	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	common function for op zero and op immed	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	update docs on compunits	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	remove extraneous test_isel	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add comments	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	document purpose of regspec module	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	split out RegSpecs into separate module	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add TODO on multi-in multi-out Function Units	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	split out RegSpec API into separate class (TODO: move...	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add notes on FunctionUnit API	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	make MultiCompUnit and testing ALU use regspec API...	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	remove unneeded imports	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	make demo/test ALU look like nmigen pipeline API	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add stub DataMerger class	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add link to regspecs on wiki	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add regspec capability to MultiCompUnit	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	make immediate-or-RA selection optional based on awareness...	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	start to morph MultiCompUnit to take "regspec" as the...	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add CR_ISEL formal proof to CR pipeline	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add CR_ISEL (and unit test) to CR pipeline	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	update to (corrected) csv files for CR_ISEL	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	select bits 2:5 from BC to get CR0 to 7 in DecodeCRin	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add gitignore	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	CR field on Br input data is specd as 0:3 range	commit \| commitdiff \| tree
2020-05-23	Luke Kenneth Casson...	add b to CR pipe input data, for isel	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	add TODO and link to SHIFT_ROT formal bugreport	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	remove xer.so from ShiftRot formal proof	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	remove sticky overflow from Shift Rot pipeline	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	test branch ctr ok flag	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	cleaner way to test link register ok	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	whitespace	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	variable-name munging for branch formal	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	cleanup logical pipe formal proof	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	split out Logical Input and Output stages to common...	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	div probably uses ALU not Logical, needs double-checking...	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	update comments for ALUCompUnit	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	soc.fu.logical.input_stage no different from ALU: delete	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	covert ALU FU to CommonInputStage	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	create common input pipe spec to avoid code-duplication	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	move CR over to CompCROpSubset	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	increase fu-fu test matrix size	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	remove unneeded code	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	rename ShiftRot to Mul in fu mul test	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	rename Logical to Div in fu div test	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	cookie-cut start on div pipe	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	add cookie-cut mul pipeline template	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	whitespace	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	over 80 chars	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	comment tidyup	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	use CompBROpSubset and reduce it down in size (remove...	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	code-shuffle	commit \| commitdiff \| tree
2020-05-22	Luke Kenneth Casson...	remove accidentally added branch input stage	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	add fu logical_input_record.py	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	update CROutputData to use Data()	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	update comments	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	whitespace cleanup	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	whitespace cleanup	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	remove input_cr, output_cr and is_32bit from CompCROpSubset	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	add read_cr_whole and write_cr_whole to CompCROpSubset	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	add first cut at cr_input_record.py	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	move Logical over to use CompLogicalOpSubset	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	argh syntax error	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	update and comment CR Input/Output Data specs	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	add CR out decoder debug	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	comment CompALUOpSubset, data_len is actually used...	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	comment DecodeCRIn and DecodeCROut, gratuitously	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	document subkls in CompUnitRecord	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	ARSE! frickin git submodules!	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	move CompLDSTOpSubset to fu.ldst.ldst_input_record	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	add zero_a flag to CompALUOpSubset	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	add zero_a flag to Decode2ExecuteType	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	whitespace/shuffle	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	move common functionality between PipeSpecs to soc...	commit \| commitdiff \| tree
2020-05-21	Luke Kenneth Casson...	move FU IntegerData to directory below	commit \| commitdiff \| tree
next

RSS Atom