アサーションベース検証とは、検証対象となるRTL設計の内部や⼊出⼒インタフェースに対し、仕様で定められている振舞いや発⽣してはいけない振舞いを、複数信号の時相的な関係によって簡潔に表現したプロパティと検証ツールへのコマンドを組み合わせて記述し、RTLの振舞いとの⽐較によって検証する⼿法を指します。