Yilou Wang
Yilou Wang
We’d be happy to try and help support this issue. Any progress will be reported here. ;)
Hello, Everyone After the recent PR #6148 , I believe the "combinational region did not converge" issue has been resolved. We've adopted the member-level trigger approach mentioned in the issue...
#5414 Solution to this issue.
Hello, @kozdra just in case you missed my previous message, I'm pinning this again. Alternatively, I think we can go ahead and merge it now, and you can open a...
Oh, I see it now, the message is pending, sorry about that. In the message I intended to send you last Thursday, I wanted to say that I think the...
Hello, @kozdra @wsnyder Sorry to align with you this late. I tried to solve the problem using astforeach, and it works fine in 1 dimension. However, when using nested astforeach,...
Hello, @wsnyder @kozdra Apologies for the delay in updating. I got stuck on the Z3-solver parsing issue with packed arrays. Regarding @kozdra 's suggestion to use a foreach loop to...
Following the suggestion, I reformat the code and test struct containing array and struct array. The former works while struct array is not supported (I describe this in issue #5455)....
I have written a patch to enable Verilator to support unconstrained randomization for both packed and unpacked arrays. For additional features, such as constrained randomization of unpacked arrays, randomization of...
Thank you for the mention! Yes, we’d be happy to help with this. 😊