度量验证进度和覆盖范围,以消除验证签收的猜测。
最近,我在看一部关于美国宇航局不屈不挠火星任务的纪录片。我一直对太空旅行和实现它的工程努力着迷。我们都听说过这次火星之旅的着陆是历史上最精确的,但这部纪录片揭示的是毅力号火星车设计和开发的每一个方面都涉及到精度。
这台自主机器极其复杂,配备了一套科学仪器,包括23个摄像头、麦克风、紫外线光谱仪、x射线光谱仪、气象站、地下雷达和放射性同位素热电发电机。别忘了,毅力号还将容纳一架用于空中探索的直升机。
漫游者在绘制火星地形时自动驾驶。这次任务的目标是在火星上寻找生命的迹象。为了做到这一点,漫游者还需要配备钻探样本的能力,并将它们置于不受污染的环境中。所有这些组成部分必须协同工作,但也必须独立工作,以确保特派团的成功。正如你所能看到的,将每个部件组合在一起以及集成到更大的系统中所涉及的精度是惊人的。
这让我思考芯片设计和验证成功所需的精度。我们的一个客户(一家5G网络公司)最近演示了如何使用精确的验证指标导致零错误逃脱的验证签到。
该公司使用OneSpin的DV-Verify Quantify应用程序来准确测量其验证进度和覆盖率,以消除验证签到的猜测。该解决方案补充了其他正在使用的验证方法,这些方法本身产生不充分的结果。
为了实现他们的签约目标,该公司必须克服一系列挑战,包括:
通过应用OneSpin的技术,该公司能够了解验证的进展及其有效性。他们节省了数周的验证时间来理解与断言和可达性相关的覆盖和覆盖漏洞,以及理解模拟结果的影响和集成。所采用的方法允许他们在设计团队和验证团队之间分担覆盖责任,从而在签字过程中获得更大的信心。
该应用程序利用突变分析来实现精确的覆盖率测量。设置完成后,应用以下方法:
已覆盖的、未覆盖的、受约束的和不可到达的设计区域的详细视图。
如果没有使用这款App,公司的设计和验证团队将很难理解他们的验证覆盖范围,并获得任何形式的信心。他们会遇到许多挑战,包括:
关于公司如何采用OneSpin的DV-Verify with Quantify来实现签收成功,还有更多的案例研究可供阅读。我邀请你们看一下https://www.onespin.com/customer-stories.
留下回复