Artículo.
lógica del arnés principal. Normalmente, la lógica del arnés produce valores de entrada al SUV de forma no determinista y arroja los valores válidos utilizando la declaración de suposición. Las salidas SUV, es decir, los valores de retorno, se comparan en declaraciones de afirmación con valores