Hi Forum, Generally when one initializes a local variable within sequence or property body , the initialization is always attached to an expression. sequence dataCheck; int local_data; ( 1,local_data = rData ) ##5 rdc ##0 ( wData == local_data + 'hFF ); endsequence As the local variable is ini…

This is no different from any other variable initialization used in procedural code. You can choose to make a declaration initialization or treat its first assignment as an initialization. The declaration initialization occurs earliest.

Local variable initialization within SVA

SystemVerilog

Orimitsu September 1, 2024, 4:43am 3

Some simulators might not support local variable initialization at declaration.
See another post.