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

2020-05-26	Luke Kenneth Casson...	redo focus of virtual reg port to do only full datawidth...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	sort-of (maybe) implemented a virtual port on top of...	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	try new variant of VirtualRegFile	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	use nmutil treereduce	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	continue virtual regfile port	commit \| commitdiff \| tree
2020-05-26	Luke Kenneth Casson...	whitespace, add commentary	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	document shadown inversion	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	update comments on compalu_multi.py	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	add some more stub comments	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	yield blank so test passes	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	add stubs	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	add comments	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	correct links in regfile docstring	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	document regfiles	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	argh! frickin MACos terminal expanded out to 86x30...	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	add docstring	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	add INT, SPR and CR regfiles	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	quick addition of zero+immed test to LDSTCompUnit	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	must not do rd-req checking when both imm and zero...	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	add zero immed on LDST, untested	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	comment out invalid test	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	lots of greater than 80 chars	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	switch out req rel if immediate enabled	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	mention zeroing	commit \| commitdiff \| tree
2020-05-25	Luke Kenneth Casson...	add links to pseudocode	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	spelling	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	spelling	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add comments for SPR pipe_data	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add SPR pipe_data.py	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	over 80 char limit	commit \| commitdiff \| tree
2020-05-24	Luke Kenneth Casson...	add test of reg output, for MFCRF and ISEL	commit \| commitdiff \| tree
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
next

RSS Atom