最終確認：主張と証拠

アサーションは数値一致と指定スケジュールの算術を示します。サイクル数は局所オペランド、ストールなし、出力ごとに追加1サイクルを仮定します。DDS実行、RTL合成、周波数、電力、分類精度は測りません。検証値、仮定、未実行検査は別に報告します。