[Libre-soc-bugs] [Bug 419] MUL pipeline formal proof needed

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Fri Sep 4 03:34:07 BST 2020


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

--- Comment #20 from Samuel A. Falvo II <kc5tja at arrl.net> ---
(In reply to Luke Kenneth Casson Leighton from comment #19)
> therefore trying to Assert things that *are not part of the test* is simply
> never going to work, is it?

I'm just going by what is in the instruction documentation.

I think I see now, though; in OutputStage.py, there's a block of code which
tests for the OE flag, and sets *its own* ov.ok output to 1 if set.  It
completely ignores any ov.ok signal from previous stages.

Apologies if this all seems like I'm being daft; I'm just trying to get a grasp
of the bigger picture.

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


More information about the libre-soc-bugs mailing list