企业的Specman精英测试平台使用可执行的规范设计师指定的约束的自动测试代，同时检测失实陈述该规范。其自动化的数据和断言检查速度调试，而其功能覆盖分析能力驱动器核查。的Specman技术还支持业界标准验证语言和方法，因此工程师可以快速，轻松地将既定的验证流程。根据柯尼希，无痛，快速过渡到e

一对夫妇只天，并立即改善球队的整体质量和生产率。 “在每一个验证模块，有一个典型的曲线开始缓慢的错误，然后爆炸在曲线之前再次持稳，柯尼希解释说。“ “指标为导向的设计可以帮助我们评估多远沿模块发展阶段。“实行电子也带来了新的和急需的灵活性，表。西门子的验证团队可以轻松地实现到设计中所需的功能，同时保持他们的选择打开将来的升级。“随着电子再利用方法（ERM），我们可以验证模块另一个FPGA的系统中使用的只是添加另一个接口亚型，柯尼希解释说。“ “我们能够证明，我们能适应运动目标，这是非常重要的，因为系统和模块的要求，在设计过程中往往演变和验证过程。“使用的Specman技术，工程师可以很容易地适应他们的验证环境，并迅速端口设计新的项目。这减少了西门子团队的开销30％当他们使用了以前的验证方法。“约束的随机验证，使我们能够创建库，使我们能够重复使用相同的测试运行，仍然达不到我们的覆盖范围的目标，“柯尼希说。 “回归管理和多重播确保我们能够捕捉一切。“Incisive Enterprise Manager中让无数重播，所以设计团队可以专注于其他任务，增加生产力。因为该工具是完全自动化的，核查小组不认为新的刺激。Incisive Enterprise Manager也提高了项目的可预测性通过提供更高质量的验证计划，详细的进度监视和测量的指标为基础的验证完成。然而，与Cadence的另一个好处，根据柯尼希，是一个知识渊博，反应迅速的客户支持团队。早西门子设计团队的参与，开了一家服务要求，以解决模拟器的问题。 Cadence客户支持针对这个问题，并在48小时内修复。总结和未来计划“精辟的的toolflow，使我们能够有效和高效地捕获和分析我们的覆盖，“柯尼希说。 “我们可以验证，需要优化硬件描述语言（HDL）没有引入新的错误设计，并没有车部件被移交给测试团队浪费他们的时间。到目前为止，没有任何功能通过我们的错误已经下滑网“。使用Cadence解决方案已经成功为这个imagechain的设计项目，西门子计划使用新的在未来的项目中所有的约束随机验证流程。“我们告诉我们的客户有什么好投资这是“柯尼希说。 “有些人可能认为作为项目验证额外的费用。但是，如果没有验证，最终把更多资金投入测试，因为严重的安全漏洞漏网之鱼。我们可以防止了坚实的验证流程，对每一个项目。“