What does the 1 in the notation (1,var_name) in sva means?

UVM
1

Hi, i am new to assertions, i could see in same cases , that its written (1,cnt),(1,cnt==signa_val)…etc…
What exactly does the 1 in the expression do?

2

In reply to adharshh:

I doubt you’ve seen exactly this code. What you probably saw is

(1,cnt=signa_val)

This is the sequence operation ( sequence_expr {, sequence_match_item} ) which means when the sequence_expr is true, execute the sequence_match_item. In the code you saw, the sequence_expr is 1, or always true, so it unconditionally executes the assignment to cnt.

This is explained further in section 16.10 of the IEEE 1800-2017 LRM

3

In reply to dave_59:

Thankyou.