X楽観主義とは
えっくすらっかんしゅぎ
HDLのシミュレーションで、不定値Xを含む条件がXのまま伝わらず確定した値として扱われ、不具合が隠れてしまう性質。Xオプティミズム。
この用語の分野: ハードウェア記述言語と検証
解説の中の「X楽観主義」
これをX楽観主義と呼び、Xを伝えるような書き方をする、Xを検出するアサーションを入れる、などで対策します。
上の記述で、selがX(不定)のとき、Verilogのシミュレーションではyにbが選ばれる。この性質が検証で問題になる…RTLのシミュレーションは速いものの、X楽観主義で不定値の問題が隠れたり、合成で記述と違う回路になったりした場合には気づけません。
論理合成や配置配線の後の回路(ゲートレベルのネットリスト)で、遅延の情報を入れてシミュレーションを行う主な目的はどれか。
「X楽観主義」が出てくる問題(2問)
関連する用語
Verilog 論理合成 配置配線 ネットリスト RTL(レジスタ転送レベル) フリップフロップ 意図しないラッチ 回帰テスト 組み合わせループ ゲートレベルシミュレーション