设计验证器错误:模型是矛盾的当前配置。为什么?
4视图(30天)
显示旧的评论
我有一个大的模型,我想为覆盖仿真软件设计验证器生成测试用例。万博1manbetx
我没有添加任何测试目的或测试条件块模型。只是执行上的工具模型。
经过20分钟的分析工具停止使用以下错误:“当前配置的模型是矛盾的。所有目标都未能偿还的/可证伪。”
用户指南中唯一的问题是:“你可以有一个矛盾,如果你的模型与不正确的参数测试目标块。例如,可以客观矛盾,指出一个信号时,必须在0到5之间信号持续10。”,但我没有添加任何SLDV块。
同样的错误出现,当我试图执行SLDV设计错误检测检查指定的中间值最大和最小值。
会有人建议我应该在模型中我寻找什么?有特定的模型对象,可以使我的模型矛盾,万博1manbetx我深深地sholud检查吗?
