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

2020-05-20	Michael Nolan	Begin adding CR proof	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Fix small bug in op_crop	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Use overflow definition from microwatt	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Add overflow handling and proof	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Fix bug introduced in rebase	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Add proof for OP_CNTZ	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Add test for edge cases that were previously buggy	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Delete assume left over from testing	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Add proof for OP_PRTY	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Formally verify OP_POPCNT	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Fix bug with popcntd	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Add proof for OP_CMP and OP_CMPEQB	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Add proof for OP_EXTS	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Add 32 bit carry handling to alu	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Fix broken test_caller.py	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Add should_trap signal to trap output data	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Add trap main stage	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Update to latest wiki version - fixing OP_TRAP	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Change OP_TWI/TDI/TW/TD to OP_TRAP	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Begin adding trap FU	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Implement 32 bit cntlz and cnttz	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Actually implement cntlzd	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Fix weird edge cases with carry	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Add ca32 to caller.py	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Handle carry out in alu	commit \| commitdiff \| tree
2020-05-19	Michael Nolan	Handle carry in caller.py	commit \| commitdiff \| tree
2020-05-18	Michael Nolan	Fix error with selecting a selectableint using a selectableint	commit \| commitdiff \| tree
2020-05-18	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
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
next

RSS Atom