弥合硬件模糊测试与工业验证之间的差距

随着硬件设计复杂度的增加，硬件模糊测试作为一种自动化验证过程的有前景的工具应运而生。然而，在将其应用于工业领域之前，仍然存在显著的差距。本文旨在从工业应用的角度总结硬件模糊测试的当前进展，并提出弥合硬件模糊测试与工业验证之间差距的解决方案。首先，我们回顾了最近的硬件模糊测试方法，并分析了它们与工业验证的兼容性。我们建立了评估硬件模糊测试方法是否兼容的标准。其次，我们考察了当前的验证工具能否高效地支持硬件模糊测试。我们找出了由工业环境支持不足导致的硬件模糊测试性能瓶颈。为了克服这些瓶颈，我们提出了一个原型 HwFuzzEnv，为硬件模糊测试提供必要的支持。借助该原型，先前的硬件模糊测试方法在工业环境中可以实现数百倍的加速。我们的工作可以作为 EDA 公司的参考，鼓励它们增强工具以在工业验证中高效支持硬件模糊测试。