SV優先キーワードについて読んでいます。Sutherland によって書かれた論文の 1 つに次の例を見つけました。
{priority} が使用されていない場合にシミュレーション合成の不一致が発生する理由はよくわかりません。{priority} を使用せず、{IRQ} が常に 1 つのホットであると仮定しましょう。その場合、DC がプライオリティ エンコーダ ロジックを最適化しても、sim と合成は常に一致するはずです。そうではありませんか？IRQ はいつでも 4 つの値のいずれかを取ることができます。
何が欠けているのかわかりません。