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