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

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sat Jan 23 14:22:49 GMT 2021


--- 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

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

More information about the libre-soc-bugs mailing list