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

yosys -sim hangs on multiple writes to the same memory address #4496

Open
aiju opened this issue Jul 18, 2024 · 0 comments
Open

yosys -sim hangs on multiple writes to the same memory address #4496

aiju opened this issue Jul 18, 2024 · 0 comments

Comments

@aiju
Copy link
Contributor

aiju commented Jul 18, 2024

When simulating a design that contains a multi-port memory, yosys -sim will hang when multiple writes to the same address have different data. It seems to get stuck in update_ph2() because both writes will set the "done_something" flag to true when they see that they changed the memory contents.

I've attached an example case for easier reproduction, including the failing RTLIL rtlil.il (which contains just a single dual-port memory cell), an example input vcd file and a yosys script that shows the issue. Running the script you should see yosys getting stuck in an infinite loop when simulating sample 37.

yosys_bug.zip

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

1 participant