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

2020-07-18	Luke Kenneth Casson...	add option to generate verilog	commit \| commitdiff \| tree
2020-07-18	Luke Kenneth Casson...	whoops use slice not range	commit \| commitdiff \| tree
2020-07-18	Luke Kenneth Casson...	syntax error	commit \| commitdiff \| tree
2020-07-18	Luke Kenneth Casson...	add SR latch cxxrtl backend demo	commit \| commitdiff \| tree
2020-07-18	Luke Kenneth Casson...	add comment and copy of pseudo-code for OP_RFID into...	commit \| commitdiff \| tree
2020-07-18	Luke Kenneth Casson...	review of OP_RFID showed up some errors	commit \| commitdiff \| tree
2020-07-18	Luke Kenneth Casson...	corrections to trap main_stage.py OP_RFID according...	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	comment explaining why not to call self.trap in PowerDecode2	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	likewise cut across latest Minerva loadstore with line...	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	sigh easier to just do a line-for-line comparison of...	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	port minerva cache fixes	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	forward-port minerva loadstore bugfix	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	comments	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	submodule update (again. sigh)	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	whitespace	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	use convenience vars in spr proof	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	whitespace	commit \| commitdiff \| tree
2020-07-17	Luke Kenneth Casson...	whitespace	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	whoops tried doing mtspr priv, it failed but failed...	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	get shiftrot compunit working	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	more tidyup on use of CompOpSubsetBase	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	use CompOpSubsetBase in ldst record	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	sigh, bug in sprset.patch	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	update cr input record to use new CompOpSubsetBase	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	add regression test on setb simulator error	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	use CompOpSubsetBase class in Branch op record	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	get branch compunit working (missing bigendian arg)	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	get trap compunit test working, adding bigendian and msr	commit \| commitdiff \| tree
2020-07-16	Luke Kenneth Casson...	add mfmsr trap tests	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	use new CompOpSubsetBase in trap	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	remove unneeded comment in trap msin stage	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	remove unneeded comment in trap pipe_data	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	document branch pipeline relationship with PowerDecode2	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	simplify instr_is_priv	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	move traptype to soc.consts	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	add better comments on mul overflow	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	test privileged rfid call	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	spelling error	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	range of testing overflow was incorrect in mul	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	set MSR up properly for privileged mtmsr test	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	whoops forgot to update PC after trap in ISACaller	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	move priv test to above illegal/trap test	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	comments on IntegerData class	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	import PipeContext not FPPipeContext	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	minor reorg on PowerDecoder2, use switch/case rather...	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	comments on SPRmap done in PowerDecode2	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	comments on SPRmap done in PowerDecode2	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	use case statement in PowerDecode2	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	select RA based on LDSTMode.update in PowerDecode2	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	add cache cx to LDSTMode	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	remove unused class XerBits	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	use Record Assert and also check muxid	commit \| commitdiff \| tree
2020-07-15	Luke Kenneth Casson...	no need to check individual port members, just check...	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	cookie-cut setup from alu proof_main_stage.py	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	reduce code size by using CompOpSubsetBase for ALU...	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	split out CompOpSubsetBase (meaning to do for a while)	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	update docstrings	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	adding MSR.PR unit test intended to activate privileged...	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	attempting to access self.msr directly	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	set up masks for OP_RL* formal proof	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	add priv instruction checking to ISACaller simulator	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	add in privileged instruction decision-making in PowerDecode2	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	add MSR reading to issue FSM	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	comments on PowerDecode2	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	add MSR to PowerDecoder2	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	disable cxxsim test	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	attempting running cxxsim on ALU pipeline test	commit \| commitdiff \| tree
2020-07-14	Luke Kenneth Casson...	first attempt running cxxsim	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	whitespace	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	formal proof of OP_EXTSWSLI	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	quick test showing how left/right mask work	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	add mtmsrd instruction and unit test	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	comments	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	attempting formal proof of OP_EXTSWSLI	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	reduce rotl module to one line (use bit_select)	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	document rb as sh	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	increase range of test values for extswsli	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	add EXTSWSLI "pass" to formal shift_rot proof	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	remove unneeded spec patching	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	enable extswsli tests, fix spec-patching	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	add regression test, simulator is wrong	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	add simulator test against qemu for extswsli	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	fix read of sliced register	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	not perfect but close enough: add read registers RA...	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	add extswsli unit test	commit \| commitdiff \| tree
2020-07-13	Luke Kenneth Casson...	add link to rotator, sign-extend mode OP_EXTSWSLI	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	rename InternalOp to MicrOp	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	attempting to get test_trap_sim working, seems to switch...	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	submodule update	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	add OP_ATTN test back in	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	exit FSM when termination detected	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	code-morph on core connect_instruction	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	modify PowerDecoder to read LDSTMode correctly	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	change CSV LD/ST update field to LDSTMode (support...	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	return unsigned int from binary reading	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	update submodule	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	missed setting of link register on OP_BC in PowerDecoder2	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	msb of instruction causing sign-overflow	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	add std and stdu ldst unit tests	commit \| commitdiff \| tree
2020-07-12	Luke Kenneth Casson...	update-mode request write signalled too early	commit \| commitdiff \| tree
next

RSS Atom