git.libre-soc.org Git - soc.git/history - src/soc/fu/mul/formal/proof_main

[soc.git] / src / soc / fu / mul / formal / proof_main_stage.py

2021-12-09	Jacob Lifshay	format code	blob \| commitdiff \| raw
2021-04-23	Luke Kenneth Casso...	move over to from openpower imports	blob \| commitdiff \| raw \| diff to current
2020-09-03	Samuel A. Falvo II	Provide full name and email in copyright notice.	blob \| commitdiff \| raw \| diff to current
2020-08-30	Luke Kenneth Casso...	tidyup on mul proof	blob \| commitdiff \| raw \| diff to current
2020-08-30	Cole Poirier	Merge branch 'master' of git.libre-soc.org:soc	blob \| commitdiff \| raw \| diff to current
2020-08-29	Samuel A. Falvo II	Qualify XER_OV output in proof	blob \| commitdiff \| raw \| diff to current
2020-08-29	Samuel A. Falvo II	Fix test breakage in MUL proofs	blob \| commitdiff \| raw \| diff to current
2020-08-29	Cole Poirier	Merge branch 'master' of git.libre-soc.org:soc	blob \| commitdiff \| raw \| diff to current
2020-08-29	Samuel A. Falvo II	BROKEN: xer_ov_o != dut.o.xer_ov.data ???!!!	blob \| commitdiff \| raw \| diff to current
2020-08-29	Luke Kenneth Casso...	minor code-shuffle, comments	blob \| commitdiff \| raw \| diff to current
2020-08-29	Samuel A. Falvo II	MUL pipeline formal proofs complete, I think.	blob \| commitdiff \| raw \| diff to current
2020-08-29	Samuel A. Falvo II	WIP: prep for 64-bit insns	blob \| commitdiff \| raw \| diff to current
2020-08-21	Samuel A. Falvo II	MUL pipeline WIP: mullw and mullwu covered.	blob \| commitdiff \| raw \| diff to current
2020-08-21	Samuel A. Falvo II	MUL pipeline: account for overflow flags. WIP	blob \| commitdiff \| raw \| diff to current
2020-08-21	Cole Poirier	Merge branch 'master' of git.libre-soc.org:soc	blob \| commitdiff \| raw \| diff to current
2020-08-21	Samuel A. Falvo II	MUL pipeline proofs: mulli / mullw WIP.	blob \| commitdiff \| raw \| diff to current
2020-08-20	Samuel A. Falvo II	MUL pipeline proof: muldw(u)	blob \| commitdiff \| raw \| diff to current
2020-08-20	Samuel A. Falvo II	MUL pipeline proof: signed mulhw	blob \| commitdiff \| raw \| diff to current
2020-08-19	Luke Kenneth Casso...	bit of a reorg of mul proof, tracking down missing	blob \| commitdiff \| raw \| diff to current
2020-08-19	Samuel A. Falvo II	WIP: OP_MUL proofs started.	blob \| commitdiff \| raw \| diff to current
2020-08-19	Luke Kenneth Casso...	set up StageChain of 3 mul stages	blob \| commitdiff \| raw \| diff to current
2020-08-10	Samuel A. Falvo II	WIP!! Make MUL pipeline proof run again.	blob \| commitdiff \| raw \| diff to current
2020-07-12	Luke Kenneth Casso...	rename InternalOp to MicrOp	blob \| commitdiff \| raw \| diff to current
2020-06-04	Luke Kenneth Casso...	use copy of FHDLTestCase	blob \| commitdiff \| raw \| diff to current
2020-05-22	Luke Kenneth Casso...	add cookie-cut mul pipeline template	blob \| commitdiff \| raw \| diff to current

RSS Atom