Lain
Looking forward to this to simplify some testbenches.
In my case, the host has always offered ecdsa and rsa. The latest ConnectBot release seems to prefer ecdsa (maybe that was recently added?). ConnectBot had never seen the ecdsa...
Closing as this appears to have been fixed at some point. Please re-open if this is incorrect.
@tgingold Oh jeez, I should have thought of that. Thanks so much!
To go along with this, next_event support would be very helpful in combination with forall. However, attempting to use next_event gives the error: > psl.sem_property: cannot handle N_NEXT_EVENT Should I...
Would like to add: although generate statements do work, it's very slow for arbitrarily large sets. For example it should be fast to use `forall` to cover all values of...
Ah I see. I'm not sure about the implementation details. What I meant is that in my example property above, which has `faddr(31 downto 0)` and `fdata(63 downto 0)`, only...
@tmeissner Ahh ok, well in that case, the workaround is fine. Thanks for this information!