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

2020-05-27	Michael Nolan	Fix bug in alu main stage proof	commit \| commitdiff \| tree
2020-05-26	Michael Nolan	Add extras from bottom of the file	commit \| commitdiff \| tree
2020-05-26	Michael Nolan	Rewrite proof to be more in line with what appears...	commit \| commitdiff \| tree
2020-05-25	Michael Nolan	Correct polarity of shadow signal	commit \| commitdiff \| tree
2020-05-25	Michael Nolan	Add link to compunit wiki page	commit \| commitdiff \| tree
2020-05-25	Michael Nolan	Correct property numbers, add assertions about busy	commit \| commitdiff \| tree
2020-05-25	Michael Nolan	Add assertions about go_wr and wr_rel	commit \| commitdiff \| tree
2020-05-25	Michael Nolan	Minor cleanup of comments	commit \| commitdiff \| tree
2020-05-25	Michael Nolan	Minor changes to alu_hier.py to allow it to be used...	commit \| commitdiff \| tree
2020-05-25	Michael Nolan	Begin working on proof for compunit/fu	commit \| commitdiff \| tree
2020-05-24	Michael Nolan	Assert that ctr is only written when needed	commit \| commitdiff \| tree
2020-05-24	Michael Nolan	Fix proof of bpermd module	commit \| commitdiff \| tree
2020-05-24	Michael Nolan	Fix bpermd and make tests pass	commit \| commitdiff \| tree
2020-05-24	Michael Nolan	Fix test_pipe_caller to conform to new Data() interface...	commit \| commitdiff \| tree
2020-05-23	Michael Nolan	Modify proof of isel to use full CR register	commit \| commitdiff \| tree
2020-05-23	Michael Nolan	Add test_isel	commit \| commitdiff \| tree
2020-05-22	Michael Nolan	Fix link handling in branch proof	commit \| commitdiff \| tree
2020-05-22	Michael Nolan	Update to latest wiki version - fix cr0 input for OP_CNTZ	commit \| commitdiff \| tree
2020-05-22	Michael Nolan	Add formal proof for branch unit, fix bug with bcreg	commit \| commitdiff \| tree
2020-05-22	Michael Nolan	Convert branch unit to new CR interface	commit \| commitdiff \| tree
2020-05-22	Michael Nolan	Complete CR proof	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Partial attempt at proving the new cr unit.	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	All CR tests now working	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	OP_CROP now working	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Begin porting cr pipeline to new interface	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Add third cr register select field to decoder	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Fix broken unit tests in test_caller	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Add cr output decoder to power_decoder2.py	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Add CR In decoder to power_decoder2.py	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Convert CR out to enum in power_decoder	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Update to latest wiki version - convert CR out to enum	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Convert CR In field to enum instead of single bit	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
2020-05-21	Michael Nolan	Fix broken test_adde/add overflow handling to caller.py	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Add proof for OP_MCRF	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Add proof for OP_MFCR	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Make test for bpermd exercise the module a bit more	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Revert "technically don't use a full crossbar"	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	technically don't use a full crossbar	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Revert "assign index to temporary"	commit \| commitdiff \| tree
2020-05-20	Michael Nolan	Add proof for OP_CROP	commit \| commitdiff \| tree
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
next

RSS Atom