git.libre-soc.org Git - soc.git/history - src/soc/fu/compunits/formal/proof

2020-12-05	Cesar Strauss	Use the DummyALU regspec and its corresponding OpSubset	blob \| commitdiff \| raw
2020-11-28	Cesar Strauss	Fix signal names: go/rel -> go_i/rel_o	blob \| commitdiff \| raw \| diff to current
2020-06-04	Luke Kenneth Casso...	use copy of FHDLTestCase	blob \| commitdiff \| raw \| diff to current
2020-05-26	Michael Nolan	Add extras from bottom of the file	blob \| commitdiff \| raw \| diff to current
2020-05-26	Michael Nolan	Rewrite proof to be more in line with what appears...	blob \| commitdiff \| raw \| diff to current
2020-05-26	Luke Kenneth Casso...	whitespace, add commentary	blob \| commitdiff \| raw \| diff to current
2020-05-25	Michael Nolan	Correct polarity of shadow signal	blob \| commitdiff \| raw \| diff to current
2020-05-25	Luke Kenneth Casso...	document shadown inversion	blob \| commitdiff \| raw \| diff to current
2020-05-25	Michael Nolan	Add link to compunit wiki page	blob \| commitdiff \| raw \| diff to current
2020-05-25	Michael Nolan	Correct property numbers, add assertions about busy	blob \| commitdiff \| raw \| diff to current
2020-05-25	Michael Nolan	Add assertions about go_wr and wr_rel	blob \| commitdiff \| raw \| diff to current
2020-05-25	Michael Nolan	Minor cleanup of comments	blob \| commitdiff \| raw \| diff to current
2020-05-25	Michael Nolan	Begin working on proof for compunit/fu	blob \| commitdiff \| raw \| diff to current