Wilson Snyder
Wilson Snyder
Coverage failed because of a CI action change in master, please merge in master if you want to see the results. If you fixed coverage on a personal branch and...
These two issues seem unrelated, so generally we'd like two separate bugs so can reply/track separately. But anyhow thanks for the good writeup. It's not clear: 1. What are you...
Ok, using this to track the UNDRIVEN request. Note also #850 which is a different UNDRIVEN request for members. Pull requests to enhance this welcome.
You can try using "r" in your code later and it might work. I thought we had just fixed a similar misoptimization earlier but needs more work I guess.
See #5137, now fixed.
There's no modeling of delayed assertions presently, the first step is to make some good tests to understand the problem. Implementing delayed assertions might be fairly complicated so I suggest...
See also #4263
These the non verilator headers come from upstream and haven't been changed besides adding Verilator. Is there an alternative that does not edit them? Or adding an uncondtional header I...
Let's do the replacement for now. Can you please add an issue here to get this upstreamed? I'll ask accelera if they will take this or prefer the ifdef for...
It's not initializing any variables in the unroller. A workaround for now is to put in the initialization: ``` int values[$] = '{}; ``` Note the problem is more serious,...