détailler le côté non-impératif

Par exemple comparer à un process SV qui serait comme ceci:

x = 0
if c1: x = 1
y = x
if c2: x = 2
z = x

Mettre les valeurs de y et z en fonction de c1 et c2 selon si on est impératif (sv) ou non (ddhdl)