Chaitanya Sharma
Chaitanya Sharma
I know it's a pretty stale issue, but if someone else came to this issue by searching for such an Add-on, here's one, and if you want to publish it,...
I think `wait` should be allowed to be synthesized. The reasoning for this is as follows: 1. While the main usage of `wait` we would have normally seen is blocking...
I've done a bit of a research on this, and it seems like expect, given its nuance with observed region and other timing focused paradigms, is a simulator concept. The...
hi @povik, can I make a PR for [this](https://github.com/CheeksTheGeek/yosys-slang/tree/chore/warn-for-wait-and-expect)? - wait statement warned about and ignored - expect warned and ignored about. - given SV LRM gives the relation btw...
Given $past is probably the main one to work on here in terms of thinking the design for it (since all other depend on it according to LRM), some questions:...
do you think it would be wise to just return 0 for `$isunknown()`?
Hey @povik would it be possible for me to work on this? Have worked with slang a bit before, and have been interested and looking into the theory behind formal...