[soc.git] / src / soc / fu / compunits / formal / proof_fu.py
2020-12-06 Cesar StraussWhitespace
2020-12-06 Cesar StraussUpdate GTKWave documents to work with latest cxxsim
2020-12-05 Cesar StraussWrite a GTKWave document to investigate why the proof...
2020-12-05 Cesar StraussUse the DummyALU regspec and its corresponding OpSubset
2020-11-28 Cesar StraussFix signal names: go/rel -> go_i/rel_o
2020-06-04 Luke Kenneth Casso... use copy of FHDLTestCase
2020-05-26 Michael NolanAdd extras from bottom of the file
2020-05-26 Michael NolanRewrite proof to be more in line with what appears...
2020-05-26 Luke Kenneth Casso... whitespace, add commentary
2020-05-25 Michael NolanCorrect polarity of shadow signal
2020-05-25 Luke Kenneth Casso... document shadown inversion
2020-05-25 Michael NolanAdd link to compunit wiki page
2020-05-25 Michael NolanCorrect property numbers, add assertions about busy
2020-05-25 Michael NolanAdd assertions about go_wr and wr_rel
2020-05-25 Michael NolanMinor cleanup of comments
2020-05-25 Michael NolanBegin working on proof for compunit/fu