完善死去的逻辑依赖关系分析
完善死者逻辑依赖关系分析模型中,使用模型切片机。提供一个准确的切片,切片机利用模型金宝app®设计验证器™死的逻辑分析模型中删除的路径。模型切片机识别死者逻辑依赖关系分析和改进模型片。有关死亡的更多信息逻辑,看到死的逻辑检测(金宝app仿真软件设计验证器)。
分析了死去的逻辑
这个例子展示了如何完善死亡模型逻辑。的sldvSlicerdemo_dead_logic模型由死去的逻辑路径依赖完善的分析。
1。打开sldvSlicerdemo_dead_logic模型。
2。在应用程序选项卡,在模型验证、验证和测试画廊,点击模型切片机。
open_system (“sldvSlicerdemo_dead_logic”);
打开控制器子系统和添加输出港throt作为起点。
切片机的模型强调了上游的依赖throt外港。
2。模型中部分经理,选择完善死去的逻辑。
3所示。点击死的逻辑数据。
4所示。指定分析时间和运行分析。您可以导入现有死去的逻辑结果sldvData现有文件或负载.slslicex数据进行分析。有关更多信息,请参见提炼突出模型通过使用现有的.slslicex或死亡的逻辑结果。
随着集输入=真正的,假输入切换删除依赖分析。同样,块的输出或总是真正的并从模型中删除。
