Formal arguments passed by reference in fork-join_none

SystemVerilog
7

In reply to puranik.sunil@tcs.com:

  1. The compiler just needs to associate a particular scope, or set of scopes with an automatic variable that need to exit before deallocating that variable.
  2. The compiler just needs to know that the ‘forked’ scope has to finish before it deallocates prm.
  3. There is no problem when using fork/join to spawn tsk2. That is because the ‘forked’ scope will not end until after the call to tsk1 returns.