-
Notifications
You must be signed in to change notification settings - Fork 56
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
Missing wait for 0 ns in else-branch in WaitForLevel procedure #73
Comments
Can you share a use model? |
dut_input <= '1';
WaitForLevel(dut_output);
dut_input <= '0';
wait until dut_error = '1'; This might never assign |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The
WaitForLevel
procedures have no else-branch with a delta-cycle delay in it.If a
WaitForLevel
is used to also update signal assignments when the nextwait
statement is reached, it's not guaranteed by the implementation that all execution paths will cause an assignment.Suggested solution:
The text was updated successfully, but these errors were encountered: