-
使用简单示例进行软件验证和确认
验证是检查软件是否符合其规格的过程。它回答了以下问题：“我们是否正确构建了产品?”这意味着根据项目开始时定义的要求检查软件是否按预期运行。验证通常通过静态测试完成，这意味着软件实际上并未执行。相反，代码经过审查、检查或遍历以确保其符合规格。
-
提高嵌入式软件质量
如果测试无法证明不存在严重的运行错误，那么嵌入式软件开发团队如何才能确定其软件没有这些错误呢？基于数学证明的代码验证是值得一试的解决方案。在软件验证方面，可扩展的高性能数学技术在实际应用方面的最新发展十分有用，可实现对软件中不存在运行时错误进行证明。
-
用于软件验证的硬件加速仿真之一：物理和虚拟探针
启动操作系统并执行软件应用程序需要经过数十亿个验证周期 — 传统的基于软件的分析工具无法胜任这项任务。只有基于硬件的验证引擎才可提供应对这一挑战所需的吞吐量。正因为如此，硬件加速仿真和 FPGA 原型设计才会成为当今设计和验证团队的验证工具箱中的必备引擎。
