[Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=429

--- Comment #2 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
https://git.libre-soc.org/?p=ieee754fpu.git;a=blob;f=src/ieee754/fpcommon/getop.py;hb=HEAD#l66

this is the definition of FPPipeContext.  it contains muxid and an op.

Samuel when you ran the proof and found that ctx was not working, which Signal
failed in the counterexample?

-- 
You are receiving this mail because:
You are on the CC list for the bug.