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

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sat Jan 16 17:37:17 GMT 2021


--- Comment #24 from Cesar Strauss <cestrauss at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #22)
> PartitionedSignal.all() should also be returning a predicate-like
> (partition-like) signal.  

> or... just a number of args are passed in (1,2,3) and it's a list
> rather than a,b, it's arglist=[] then use self.op(*arglist)

It works! The proof driver can now accept unary operations (returning a
partition-like result).

PartitionedSignal.all() passes. Congratulations!


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

More information about the libre-soc-bugs mailing list