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

[bugzilla-daemon at libre-soc.org]

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

--- Comment #2 from Samuel A. Falvo II <kc5tja at arrl.net> ---
(In reply to Luke Kenneth Casson Leighton from comment #1)
> samuel try a copy of this, add the extra stage.  i believe PipeModBase does
> the same thing as i described on the list (StageChain) which will have the
> advantahe you should be able to just drop it in place and use dut.i and dut.o

I spent some time trying to understand what you're suggesting here.  I tried to
just instantiate a MulBasePipe as the DUT, but I get 13 screensful of errors
because it doesn't support the expected interface for .i and .o members.

I don't understand how copying the code in that class would help though; can
you clarify?  Thanks.

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