コンポーネント検証モデルのテストを行う際に、モデルが設計要件を満たしていないことを発見する場合があります。こうした問題を解決するには、追加のコンポーネント検証が必要です。ニーズに応じて、Signal Editor ブロック、Model Verification ライブラリ内のブロック、または Simulink® Test™、Simulink Design Verifier™、Simulink Coverage™ などの製品を使用して、モデルのコンポーネントをテストできます。 基盤ブロックの使用Model Verificationライブラリを使用して、モデルのコンポーネントの動作を検証できます。これらのブロックは、モデルの信号が指定された要件を満たすかどうかをチェックします。シミュレーション中に要件が満たされない場合、ブロックはシミュレーションを停止したり、警告を表示したりする場合があります