アサーション・ベース検証改訂版EDA用語辞典とは・著者一覧 アサーション・ベース検証（assertion-based verification）は機能検証手法の一つである。アサーションとは，検証対象の設計が満たすべき性質を指す。アサーション・ベース検証は，RTL（register transfer level）設計を対象にした論理シミュレーションで使われることが多い。 具体的には，論理シミュレーション中に，検証対象とアサーションの関係を調べて，アサーションが満たされているかどうかチェックする。こうすることで，設計記述の観測性が上がり，設計のバグを発見しやすくなる。また，バグの原因を解析しやすくするという効果もある（図1）。 IEEE標準のアサーション記述言語 アサーション1)は，設計した回路で期待されている動作や禁止されている動作などを書いた文である。通常，その内容は，曖昧性がないようにハードウェア記述言語（Ve
