組み合わせ回路

always_comb 宣言で代入される変数は組み合わせ回路を表します。組み合わせ変数はブロッキング代入セマンティクスを使用し、入力が変化したときに再評価されます。評価の詳細については実行モデルを参照してください。

module ModuleA {
    let a: logic<10> = 1;
    var b: logic<10>;

    always_comb {
        b = a + 1;
    }
}

always_comb 宣言の左辺には連結も使用することができます。

module ModuleA {
    var a: logic<10>;
    var b: logic<10>;

    always_comb {
        {a, b} = 1;
    }
}