フリップフロップ テストの生成

この例では、フリップフロップに対してすべてのモデル カバレッジを達成するテスト ケースの生成方法を示します。このモデル例では、各モデル カバレッジ ポイントの結果がテスト オブジェクティブです。最小のテスト ケースを生成するように Simulink Design Verifier を設定すると、できるだけ多くのオブジェクティブが各テスト ケースで達成されます。

open_system('sldvdemo_flipflop');