-
Notifications
You must be signed in to change notification settings - Fork 585
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Internal error when doing V3Simulate on for loop inside for loop #1044
Comments
Original Redmine Comment Probably caused by my patch: |
Original Redmine Comment We have something like this
In the log of V3Simulate, it first reports
for variable @j@, then it report the internal error. Hope this helps for your debugging. |
Original Redmine Comment I took a look at this, is this still an issue? The attached doesn't seem to break, can you modify it to fail? |
Original Redmine Comment We've finally set aside some time to create a small test case for this issue. It all seems to be related to the size of the signals. If we reduce the size to 64 bits the error disappear. |
Original Redmine Comment Thanks for the test case, straight forward now that I know where to look. Fixed in git towards 3.891. |
Original Redmine Comment Fixed back in 3.892. |
Author Name: Jie Xu (@jiexu)
Original Redmine Issue: 1044 from https://www.veripool.org
Original Assignee: Wilson Snyder (@wsnyder)
Not able to reproduce this with a small test case yet. But in our code, we have two embedded for-loop where the error occurs when try to simulate the condition of inner loop.
The text was updated successfully, but these errors were encountered: