检测和地址错误
检测运行时错误和逻辑错误,在您的设计调试问题
万博1manbetx®设计验证器™使用正式的方法来识别很难找设计模型中的错误不需要广泛的测试或模拟运行。设计错误检测包括运行时错误,如整数溢出,除零,违反设计断言和操作条件表明不能发生逻辑错误。你使用万博1manbetx仿真软件设计验证器强调阻塞模型包含设计错误,证明是没有他们。每一块的一个错误,你计算范围边界和生成测试向量,再现了误差仿真。
类别
- 检测和处理运行时错误
发现设计错误,产生反例 - 检测和处理逻辑错误
确定模型通过使用死逻辑逻辑错误检测
