默认情况下,模型设计验证万博1manbetx器将考虑各种可能的输入值只有root港口在模型中。可能的值对于所有其他模型元素被视为一个函数的港口(全局变量)。对于通过输入“常数”块,更死逻辑会被发现,因为它只考虑这些特定的输入,而不是全部。
仿真软件设万博1manbetx计验证人死逻辑分析取决于模型的输入?
1视图(30天)
显示旧的评论
为什么我看到不同死逻辑结果使用利用时通过输入(“常数”块),而不是使用“尺寸”块?
