This paper presents pragmatic solutions for verifying complex mathematical algorithms implemented in hardware in an efficient and effective manner. Maximizing leverage of a known-answer-test strategy, based on predefined data scenarios combined with design-for-verification modes, we demonstrate how to find and isolate concept and design bugs early in the flow. The solutions presented are based on real project experience with single chip radar sensors for a variety of applications. The verification environments supporting the presented strategies are based on SystemVerilog and the Universal Verification Methodology.

翻译：本文提出了以高效且有效的方式验证硬件中实现的复杂数学算法的实用解决方案。通过最大限度地利用基于预定义数据场景并结合面向验证设计模式的已知答案测试策略，我们展示了如何在流程早期发现并隔离概念与设计缺陷。所提出的解决方案基于面向多种应用的单芯片雷达传感器的实际项目经验。支持所述策略的验证环境基于SystemVerilog与通用验证方法学。