プロパティ証明にて「有効と判定」された場合、harnessモデルを作成する方法はありますか。
信息
此问题已关闭。 请重新打开它进行编辑或回答。
显示 更早的评论
Simulink Design Verifier (SLDV)のプロパティ証明にて「有効と判定」の結果となった場合、有効であることを保証するテストパターン（ Signal Builder ）を含む harness モデルを得る方法はありますか。
また、方法がないとすればそれはなぜですか。
（反証の場合は harness モデルを作成できますが、有効の場合は作成できない。有効の場合でもharnessモデルを作成したい。）
有効であることを証明する際に使用されるテストパターンを得ることが目的なので、取得できる形式がSignal Builderである必要はなく、MATファイル等の別のフォーマットでもかまいません。
0 个评论
回答（0 个）
此问题已关闭。
2019-9-17
关闭：
2021-8-20
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
