摘要：随着半导体工艺的发展,片上存储器的设计容量和复杂度日益增长,传统的功能验证方法面临着验证完备性、可重用性、效率和可靠性等方面挑战.针对自主设计的某16路SIMD结构的大容量向量存储器(vector memory,VM)覆盖率驱动的验证方法进行研究,基于SystemVerilog验证方法学,采用层次化建模方法搭建了高效的VM验证平台,在较高抽象层次上实现了带约束的随机激励,结合SVA断言技术对向量存储器向量读访存流水线的同步与提交状态实时监控,保证了关键时序逻辑功能验证的完备性、正确性,有效提高了验证效率.最终模块级验证结果表明,定向激励和随机激励相结合能较快达到理想的代码覆盖率.

摘要：随着嵌入式微处理器的不断发展,片上存储器的设计复杂度日趋增长,传统的功能验证方法面临着验证效率低、完备性、可重用性等各方面挑战。论文针对自主设计的FT_M系列高性能DSP片上向量存储器设计需求,基于UVM验证方法学,采用层次化建模方式搭建参数化的UVM验证平台,利用定向激励与带约束的随机激励相结合的方式测试不同访存模式下的正确性;提高了验证的验证效率和验证平台的可重用性。