Using ternary operator as an alternative to if-else in consequent

[dave_59]

Ternary operator cannot have sequences or property expressions.

Using Ternary operator in SVA for Temporal scenario

Hi All , A recent thread invoked interest whether ternary operator can replace if - else . The example in the thread has consequent in non-temporal context . I was wondering if ternary operator can replace if-else in temporary context as well : Consider the following concurrent assertion where the if-else is used in temporal context : property ife ; @( posedge clk ) a ##1 ( b || c )[->1 ] |-> if( b ) ( ##1 d ) else ( ##1 e ) ; // Consequent is Temporal due to ##1d and ##1 e e…