一种需求驱动的功能验证方法

• 作者: 李晨阳
• 学科: 工学
• 关键词: 需求驱动 功能验证 参考库 UVM 可重用性
• 年，卷（期）: 2022,（4）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 109-117
• 页数: 8页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.19304/J.ISSN1000-7180.2021.1150

摘要

随着电子设计复杂度的持续增长，芯片的软件功能验证受到行业内越来越多的重视，业内采用传统测试方法和主流通用验证方法学(UVM)时，都是基于测试驱动的软件功能验证，导致验证环境内的组件具有较强的耦合性，在开展多重环境的软件功能验证时，需要花费大量的时间设计不同测试组件，不利于可重用性实现.本文提出了一种基于需求驱动的功能验证方法，利用需求之间存在的很多共性特点，提取了多重验证环境下的验证基础设施组件，创建出一种可集成化验证基础组件的参考库模型，利用需求驱动所有测试组件，做到了需求、激励、驱动、检测、被测件之间的100%隔离，创建出具有广泛使用的验证模式.新方法与UVM验证方法学相比，可重用性提升效果显著，具有组件独立、层次关系少、使用方便等特点，可满足不同需求和验证环境需要.举例对参考库的可重用性进行了有效性证明，最后对测试结果分析比较，表明新方法可以快速应用于多重环境的软件功能验证，提升工作效率.