テストとデバッグ

設計の数値的な動作およびコストの解析、テストおよびデバッグ

設計内のオーバーフロー、桁落ち、範囲または精度の損失の原因を特定し、トレースし、デバッグします。数値的動作を理想的な浮動小数点のベースラインと比較します。

設計の動作範囲全体をテストするため、数値的にリッチなデータを生成します。可変の次元、実数/複素数、およびデータ型の固定小数点値と浮動小数点値で、アルゴリズムの数値の整合性をテストします。

設計コストモデルのメトリクスを使用して、ハードウェアに設計を実装するコストを推定します。モデルを解析し、生成コードのプログラムのサイズなど詳細なコストデータをレポートします。

カテゴリ