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

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
2020-07-11	Luke Kenneth Casson...	sort out core write latching: gate by busy, and use...	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	* clarifying core function unit enable	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	add bigendian flag	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	add endian	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	fix spr setting, set endianness	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	sigh spelling	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	add bigendian	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	more setting bigendian	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	add bigendian mode to helloworld test	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	sort out big/little endian startup on qemu	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	sorting out bigendian/littleendian including in qemu	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	whoops output trunc_divs not trunc_div	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	add random mulhd and mulld tests	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	enable mul tests after sorting pseudo-code mul overflow	commit \| commitdiff \| tree
2020-07-11	Luke Kenneth Casson...	special test for mul hw to cope with ignoring OE flag	commit \| commitdiff \| tree
2020-07-10	Luke Kenneth Casson...	add a DIVS function as separate and discrete from floor_div	commit \| commitdiff \| tree
2020-07-10	Luke Kenneth Casson...	add random unsigned div tests	commit \| commitdiff \| tree
2020-07-10	Luke Kenneth Casson...	add overflow div tests	commit \| commitdiff \| tree
2020-07-10	Luke Kenneth Casson...	propagate missing parameters from div	commit \| commitdiff \| tree
2020-07-10	Luke Kenneth Casson...	code comments	commit \| commitdiff \| tree
2020-07-10	Luke Kenneth Casson...	do not set div result if overflow occurs	commit \| commitdiff \| tree
2020-07-10	Luke Kenneth Casson...	re-enable div random tests and other regressions	commit \| commitdiff \| tree
2020-07-10	Luke Kenneth Casson...	check for div_overflow equal to None rather than == 1	commit \| commitdiff \| tree
next

RSS Atom