精炼依赖分析的死逻辑
要细化模型中的死逻辑以进行依赖性分析，请使用model Slicer。为了提供精确的切片，Model Slicer利用动态仿真模块®设计验证器™死逻辑分析，消除模型中不可达的路径。Model Slicer识别死逻辑，并为依赖分析细化模型片。有关死逻辑的更多信息，请参见死的逻辑检测(仿真软件设计验证器)．
分析死逻辑
这个例子展示了如何为死逻辑改进模型。的sldvSlicerdemo_dead_logic模型由用于依赖性分析的死逻辑路径组成。
1.打开sldvSlicerdemo_dead_logic模型。
2.在应用程序选项卡,在模型验证、验证和测试画廊,点击模型切片机．
open_system (“sldvSlicerdemo_dead_logic”）;
打开控制器子系统并添加输出端口throt作为起点。
模型切片器强调了上游依赖throt外港。
2.在Model Slice Manager中，选择完善死去的逻辑．
3.点击获取死逻辑数据．
4.指定分析时间然后进行分析。方法导入现有的死逻辑结果sldvData文件或加载现有的.slslicex数据进行分析。有关更多信息，请参见通过使用现有的.slslicex或死逻辑结果来优化高亮模型．
随着集输入等于真正的,假删除交换机的输入以进行相关性分析。类似地，块的输出或总是真正的并从模型切片中移除。
相关的话题
您也可以从以下列表中选择网站: