Skip to content

Move assertion statement outside of `always_comb` block

Created by: ricted98

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.

Merge request reports

Loading