[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 #1 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
https://git.libre-soc.org/?p=soc.git;a=blob;f=src/soc/fu/mul/pipeline.py;h=f5a0f069b94e314fcfe43a74486f9d29b763e3f0;hb=HEAD#l10

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

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