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

Move assertion statement outside of always_comb block #2552

Merged
merged 3 commits into from
Oct 23, 2024

Conversation

ricted98
Copy link
Contributor

@ricted98 ricted98 commented Oct 17, 2024

The assertion included in the always_comb block apparently violates the requirements in section 9.2.2.2.2 of the SystemVerilog standard:

Statements in an always_comb shall not include those that block, have blocking timing or event
controls, or fork-join statements.

My compilation flow uses Synopsis vlogan. Namely, the reported error is:

Error-[SV-BCACF] Blocking construct in always_comb/ff

tag_cmp
Statements in an always_comb shall not include those that block, have
blocking timing or event controls, or forkjoin statements. The always_ff
procedure imposes the restriction that it contains one and only one event
control and no blocking timing controls.
Try using simple always blocks.

@ricted98 ricted98 marked this pull request as ready for review October 17, 2024 08:44
@ricted98 ricted98 changed the title Move timing statement outside of always_comb block Move assertion statement outside of always_comb block Oct 17, 2024
Copy link
Contributor

❌ failed run, report available here.

Copy link
Contributor

❌ failed run, report available here.

@JeanRochCoulon JeanRochCoulon merged commit 53472eb into openhwgroup:master Oct 23, 2024
10 checks passed
@JeanRochCoulon
Copy link
Contributor

Great @ricted98 !!

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

Successfully merging this pull request may close these issues.

2 participants