[sv-ec] determinism of fork/join_none processes

This is from: http://verificationguild.com/modules.php?name=Forums&file=viewtopic&p=20425#20425

In this example from 9.3.2

initial
    for( int j = 1; j <= 3; ++j )
      fork
         automatic int k = j; // local copy, k, for each value of j
         #k $write( "%0d", k );
         begin
             automatic int m = j; // the value of m is undetermined
             ...
         end
      join_none

I think the value for all variables called m is deterministically 4 because the for loop must end, leaving j at 4 before any process can start. Mantis 652<http://www.eda.org/svdb/view.php?id=652> suggested that comment be deleted, but it was not. Am I missing something?

Dave Rich
Verification Technologist
Mentor Graphics Corporation
[Description: Description: Twitter-32]<http://www.twitter.com/dave_59> [Description: Description: Technorati-32] <http://go.mentor.com/drich>

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.