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

2020-06-10	Michael Nolan	modify qemu.py to set qemu's cr to 0	commit \| commitdiff \| tree
2020-06-08	Michael Nolan	Add register assertions, fix broken tests	commit \| commitdiff \| tree
2020-06-08	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
2020-06-08	Michael Nolan	Restore test_sim.py, begin modifying it for testing...	commit \| commitdiff \| tree
2020-06-02	Michael Nolan	Select spr1 for bcctr - use fast_spr decoding from...	commit \| commitdiff \| tree
2020-06-02	Michael Nolan	Fix broken wiki version	commit \| commitdiff \| tree
2020-06-02	Michael Nolan	Handle removal of spr2 field from decoder	commit \| commitdiff \| tree
2020-06-02	Michael Nolan	Fix test_bc_reg	commit \| commitdiff \| tree
2020-06-02	Michael Nolan	Fix issues with test_bc_reg, wrong instruction field...	commit \| commitdiff \| tree
2020-06-01	Michael Nolan	Add proof for RegFile	commit \| commitdiff \| tree
2020-06-01	Michael Nolan	Add proof for RegFileArray	commit \| commitdiff \| tree
2020-06-01	Michael Nolan	Have regfile use AnySeq instead of AnyConst	commit \| commitdiff \| tree
2020-06-01	Michael Nolan	Enable k-induction for register file proof	commit \| commitdiff \| tree
2020-06-01	Michael Nolan	That was weird. For some reason it wasn't generating...	commit \| commitdiff \| tree
2020-06-01	Michael Nolan	Full BMC proof of Register	commit \| commitdiff \| tree
2020-06-01	Michael Nolan	Begin rewrite of proof_regfile.py	commit \| commitdiff \| tree
2020-05-28	Michael Nolan	Add proof for OP_SETB	commit \| commitdiff \| tree
2020-05-28	Michael Nolan	Update to latest wiki version	commit \| commitdiff \| tree
2020-05-28	Michael Nolan	Add OP_SETB	commit \| commitdiff \| tree
2020-05-28	Michael Nolan	Fix test_isel to properly examine registers	commit \| commitdiff \| tree
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
next

RSS Atom