主要内容
创建一个简化的独立模型
通过关注模型中感兴趣的领域，可以简化大型和复杂模型的模拟、调试和形式化分析。在使用modelslicer突出显示模型的一部分之后，您可以生成一个包含原始模型突出显示部分的简化独立模型。根据模拟、调试和形式化分析将更改应用到简化的独立模型，然后将这些更改应用到原始模型。
请注意
对于带有排除点或受约束的开关块的高亮模型，不支持简化的独立模型创建。金宝app如果您想要查看排除点或受约束的交换块对简化独立模型的影响，请首先创建简化独立模型，然后添加排除点或受约束的交换块。
当从一个模型突出显示生成一个简化的独立模型时，您可能需要在简化的独立模型可以编译之前细化突出显示的模型。看到模型切片器的注意事项和限制进行编译方面的考虑。
相关的话题
你也可以从以下列表中选择一个网站:
