2.5 进程外部的并行行为模型

2.5.4 复合并行语句

 2. 生成语句
 生成语句是规则结构并行语句的简写形式。共有两种形式,iffor
 IF生成语句:
  标号:if 生成条件 generate
    并行语句;
  end generate 标号;
 FOR生成语句:
  标号:for 生成标识符 in 离散范围 generate
    并行语句;
  end generate 标号;
 
IF形式中,生成条件是一个条件表达式,其中有一个控制变量,条件表达式决定该控制变量的离散范围。其中的并行语句中利用该控制变量作为参数。FOR形式中,生成标识符是控制变量,并在关键字in后显式指定其离散范围。带有控制变量的并行语句可以看成将离散范围中各个离散值分别代入控制变量而得到的并行语句的集合。这些并行语句不受顺序的影响。注意IFFOR的生成语句不是语句顺序的控制结构,与顺序语句中用的IFFor…loop 完全不同。