[sv-ec] use model for non-blocking event triggers

Hi Folks,

What's the intended use model for nonblocking event triggers (->>)? my 
question arises because of program block scheduling semantics. It looks 
to me like they cannot be used on events in program blocks since 
nonblocking updates to program variables are illegal (no reactive-NBA 
region). Also, I don't believe they're really synthesizable, so they 
aren't of much use in an RTL design model. This pretty much leaves 
behavioral models or testbenches written in modules. Am I 
misunderstanding how these work?

Thanks,
Mike Burns
Freescale