金宝app^®设计验证器™使用正式的方法找出隐藏的设计错误模型,而无需进行大量的模拟运行。它检测块模型中,导致整数溢出,死去的逻辑,数组访问违规行为,除零,要求违规。为每个错误它产生一个模拟的测试用例进行调试。

金宝app仿真软件设计验证器为模型生成测试输入范围和自定义的目标。它还可以让你增强和扩展现有测试用例。这些测试用例驱动模型,以满足条件,决定,修改条件/决定(MCDC)和自定义覆盖的目标。

模型切片机工具金宝app仿真软件设计验证器隔离问题行为模型中使用动态和静态分析的结合。它允许您突出显示和跟踪函数依赖的港口,信号,块,把一个大模型分割成更小的、独立的模型进行分析。您可以查看块影响一个子系统输出和跟踪信号通路通过多个开关和逻辑。变异减速机工具使您能够通过创建切片模型简化模型包含多个变量配置基于活跃的变体。

金宝app支持行业标准可以通过IEC认证工具包(IEC 61508和ISO 26262)做资格工具包(- 178)。