[Libre-soc-bugs] [Bug 565] Improve formal verification on PartitionedSignal

[bugzilla-daemon at libre-soc.org]

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

--- Comment #37 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Luke Kenneth Casson Leighton from comment #36)

> > Well, you may notice that every arithmetic/logical/shift operation is
> > returning Signal instead of PartitionedSignal, not just inverse. Should we
> > fix them all?
> 
> arg!  yes :)

if the context of being a PartitionedSignal is not propagated it will
result in data corruption when creating chains of operators.

the idea here is to be able to use the standard operations, including
with m.If(), and to not even know it's a dynamic SIMD partitioned
object.

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