[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 19:31:41 GMT 2021


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

--- Comment #39 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Cesar Strauss from comment #38)

> Could be simplified a bit by implementing result =
> PartitionedSignal.like(self).

ahh yehyeh i was going to suggest that.  occurred to me a couple days
ago that like was missing.

> What do you think?

go for it on the like() method.  yes it is a bit of a nuisance that
all of these operators need to "automatically" add a module.  fortunately
when you look at the graphviz it's pretty clear / nice.

>  Is there a way to do it the way you described?

i was in pseudo-code mode (and concentrating on svp64), apologies.

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


More information about the libre-soc-bugs mailing list