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

2020-05-17	Michael Nolan	Add incomplete proof_bperm.py with comments on how...	commit \| commitdiff \| tree
2020-05-17	Michael Nolan	Move perm inside Bpermd as it's not an input or output	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Add ilang output to test_maskgen.py	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Implement mfcr and mfocrf	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Implement mtocrf (which isn't different from mtcrf?)	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Remove noisy print statements in selectable_int.py	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Add sprset.patch	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Add condition.patch	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Minor cleanup	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Implement mtcrf	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Add comments on what CROP (crand, cror) do and how...	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Add ports to ilang for test_caller.py	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Fix bug in branch's pipe_data	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Consolidate every pipe_data to use alu's integer data	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	OP_CROP fully working	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Update to latest wiki version - fix bug with crxor	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Implement mcrf in CR FU	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Get working mcrf in caller.py	commit \| commitdiff \| tree
2020-05-16	Michael Nolan	Update to latest wiki version - move crand to own opcode	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Make opcode for crand and friends	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Begin adding CR pipeline	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Update to latest wiki version - Add CR FU	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add CR function unit	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Update wiki to latest version.	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Fix bug introduced when I made it possible to set the...	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Implement op_bcreg	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Remove TAR input, create fixed input for CTR and input...	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	re-enable assert for correct function unit	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Update to latest wiki version - add branch FU to branch...	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Fix a couple of bugs with conditional branch with counter	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Implement ctr decrementing	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Oops, looks like I forgot to push the wiki update	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Begin implementing conditional branch	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add ability to specify initial CR state	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Implement signed branch immediates	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Change nia input to cia, implement linking	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Simplify main_stage.py	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Fix broken test_ba	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Implement relative branches, add explicit NIA input...	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	add branch to absolute address	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add rudimentary branch unit test bench	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Update to latest wiki - add branch unit for branch...	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Implement OP_CMPEQB	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Update to latest wiki version - add definition for...	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Ooops, actually assert during cmpeqb	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add test for cmpeqb	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add test for cntlz to test_caller	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add gitignore to shift_rot and logical formal folders	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Re-enable popcnt in test_pipe_caller.py	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add test for popcnt to test_caller.py	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Fix prty implementation	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Add test for prtyw pseudocode	commit \| commitdiff \| tree
2020-05-15	Michael Nolan	Update to latest wiki version, fix bug in prty pseudocode	commit \| commitdiff \| tree
2020-05-14	Michael Nolan	Add patch for cmpb	commit \| commitdiff \| tree
2020-05-14	Michael Nolan	Implement OP_CMP	commit \| commitdiff \| tree
2020-05-14	Michael Nolan	Add OP_CMPB	commit \| commitdiff \| tree
2020-05-14	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
2020-05-14	Michael Nolan	Fix bug in shift_rot, update proof to handle new interface	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Add test for random rlcd(l/r) instructions	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Fix bug in rotator preventing use of 64 bit rlcl/r	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Fix too wide bitfield being selected for opcode 30	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Fix weirdness with rldicl and friends in test_caller.py	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Add support for OP_EXTS	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Add missing input stage and pipe_data	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Fix bug with ROTL32 helper	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Somewhat working now?	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Integrate rotator.py into shift_rot unit	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Update cmp test in test_caller.py	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Add assertions to ALU and shift_rot test that the instructio...	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Add SHIFT_ROT FU	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Modify alu test to put reg1 OR reg3 into alu input A	commit \| commitdiff \| tree
2020-05-13	Michael Nolan	Update TODO	commit \| commitdiff \| tree
2020-05-12	Michael Nolan	Add new shift_rot FU for shifts and rotates	commit \| commitdiff \| tree
2020-05-12	Michael Nolan	Remove rotates and shifts from alu	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Massively spead up test_pipe_caller.py	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Revert "Greatly speed up test_pipe_caller.py"	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Greatly speed up test_pipe_caller.py	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Reverse bit order for cr0 in proof	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Check output of cr0 from alu	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Add carry in input to alu testbench	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Add ability to specify initial state for SPRs	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Fix proof_input_stage.py	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Fix rlwimi by reordering the inputs again	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Re-enable rlwinm test	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Check write register number too	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Reorder the register reads so the field in read_reg2...	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Have test_pipe_caller actually read from the registers...	commit \| commitdiff \| tree
2020-05-11	Michael Nolan	Actually implement rlwimi	commit \| commitdiff \| tree
2020-05-10	Michael Nolan	Add test for rlwnm	commit \| commitdiff \| tree
2020-05-10	Michael Nolan	Implement rlwimi as well	commit \| commitdiff \| tree
2020-05-10	Michael Nolan	Implement rlwinm in alu	commit \| commitdiff \| tree
2020-05-10	Michael Nolan	Add test for rlwinm	commit \| commitdiff \| tree
2020-05-10	Michael Nolan	Reduce BMC depth on proof_main_stage.py	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Add shift left and shift right to main stage proof	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Handle algebraic shifts too	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Implement logical shift right	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Add support for sld	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Change shift left to be implemented with rotate and...	commit \| commitdiff \| tree
2020-05-09	Michael Nolan	Add mask generator for shift class instructions	commit \| commitdiff \| tree
next

RSS Atom