When the signal data sets registered in the respective signal DB are compared, possibility of a failure in assertion description or a verification item, deficiency of specifications, or a signal action not installed in an HDL can be discovered. 各信号DBに登録された信号データセットを比較することで、アサーション記述または検証項目の漏れがある可能性や、仕様書の不備や、HDLに実装できていない信号動作を発見することができる。 - 特許庁