/カントゥレリ/
/インふァランス/
p.247
Contrary to that, the code on the right provides a full in-out mapping description (it ends in "else value"), so latch inference does not occur.
非公式訳:
それとは逆に、右側のコードは入出力の関係が全部記述してあります(最後がelse値で終わっている)。そのため(訳註: コンパイラーによって勝手に)ラッチが挿入されることはありません。