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

作     者：李晨阳 LI Chenyang

作者机构：中国西南电子技术研究所四川成都610036 

出 版 物：《微电子学与计算机》 (Microelectronics & Computer)

年 卷 期：2022年第39卷第4期

页      码：109-117页

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

主 题 词：需求驱动 功能验证 参考库 UVM 可重用性 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.19304/J.ISSN1000-7180.2021.1150

馆 藏 号：203111515...