Skip to content
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

Update README to remove Iverilog issue since the provided code is invalid #38

Closed
caryr opened this issue Sep 22, 2024 · 1 comment
Closed

Comments

@caryr
Copy link

caryr commented Sep 22, 2024

The code in the iverilog 1171 issue is invalid and you should remove it from the list of issues found by this project. I have not outright rejected it from the Icarus side because there are enhancements we can implement to prevent iverilog from trying to do what the user asks when they are outside the realm of possibilities (e.g. creating exa-bit values). There are also still some outright invalid constructs in the simple example provided that I provided more details for today.

The reason iverilog appears to be hanging is it is being requested to create a value that is larger than will fit in memory. My guess is main memory is filling up and then the program starts swapping which makes it very slow to make progress, but if you check it should still be running and is diligently trying to create the value until it will eventually consume all the memory/swap on the machine. This could take a significant amount of time. The fact that other tools do not have an issue does not negate the fact that both the original and the updated code are doing something that should cause any simulator to run out of memory unless they have some very esoteric optimizations.

I have verified that one of the big-3 simulator fails on the code not because of memory, but because it does not support all the expression constructs in the given context.

@pronesto
Copy link
Collaborator

Hi caryr. Thank you for looking into this. That makes sense to me: I think we should remove Issue 1171 from our list. I can do that.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants