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

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sun Jan 10 17:18:27 GMT 2021


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

--- Comment #19 from Cesar Strauss <cestrauss at gmail.com> ---
A few files dealing with PartitionedSignal use the following idiom to get the
width of a Signal:

width = sig.shape()[0]

In the latest git master, Shape is no longer a tuple, breaking this idiom.

I'll look into changing these to:

width = len(sig)

The above works since the last nMigen release, so it shouldn't break things for
anyone.

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


More information about the libre-soc-bugs mailing list