-
Notifications
You must be signed in to change notification settings - Fork 569
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
Modelsim support #37
Comments
We don't currently officially support ModelSim (I don't have a license for it here), but we have been making changes for tool support on a best-effort basis. Mismatches are going to be hard to debug, but if you see other issues that you can pinpoint, we'd be happy to make changes and add workarounds as needed. And, if you have sim scripts for Modelsim once you get it working, we'd be happy to add those to the repository. Thanks! |
I managed to get simulations to work on Vivado Xsim (Single run only, not regression). It would require some ifdefs on testbench files particularly in the usage of $value$args. VCS implemented it differently from VIVADO. @jwise would you be keen to support this? If you are supportive, I will work on a pull request soon. |
@xalogic-linus This would be great! We'd be happy to take a pull request for that. |
FYI, the Intel FPGA Starter Edition of ModelSim is free to use with no license file required. |
Closing issue |
Hi,
I tried to run a simulation in Modelsim refer to 'sim/Makefile', but encountered a lot of PSL assertion errors and some mismatches between the expected data and mine. So I hope there is a sim script for Modelsim and I can do the test more easily.
Thanks
The text was updated successfully, but these errors were encountered: