适用于系统级验证的多层框架1.pdfVIP

系统DMA 引擎访问存储器。虽然没有明确显示，但外设与存 适用于系统级验证的 储器之间有多个仲裁层。 该芯片还有多个模块、电源和用于判断的系统交叉开关，如图 VMM 多层框架 1 的简化示意图所示。外部引脚通过多路复用方案由多个外设 共用。 作者：Ashok Chandran 、Sajeev Thomas、Saj Kapoor 引言 基于验证方法手册(VMM) 的验证是行之有效的模块级验证环 境实现方法。在系统级利用模块级验证组件可显著改善验证质 量，缩短满足系统级覆盖率所需的时间。系统级测试平台带来 了一系列需要应对的挑战，包括运行时间、随机化质量、系统 存储器管理、多寄存器访问接口、时钟域和随机稳定性。模块 到系统的重用方法应当简单、可扩展。 对于具有专有内核和系统接口的片上系统(SoC) ，利用汇编语 言进行测试编码，以便演练各外围器件的不同模式，并不是一 个可扩展的解决方案。此外，这也不大适合基于VMM 的流程， 图1. 设计概览 在该流程中，会有多个仿真线程同时访问外设。例如，在配置 系统级验证挑战 一个外设时，可能有另一个线程正在读取同一寄存器空间以检 系统级验证旨在验证系统配置与外设模式的不同组合，这会揭 查中断状态。在汇编测试中，一个内核只有一个指令流，因此 示许多有意义的情况，其中包括： 无法模拟这种行为。本文所述方法将内核替换为总线功能模型 (BFM) ，以直接驱动系统接口总线。每个模块测试平台在不同 是否在所有可能影响外设的系统配置模式下演练外设的 的线程中处理，可以访问相应的外围组件。使用VMM 寄存器 模式？ 抽象层(RAL)可确保模块级测试平台迁移到系统级时，其行为 关于连接是否遗漏了什么，一旦处在特定的系统/外设配 改变极小。 置下，它就可能变得可见？ 系统测试平台需要根据外设要求对系统组件进行编程。例如， 是否所有模块都已连接到适当的时钟域？ 通用异步接收机/发射机(UART)模块在发射之前，需要配置直 接存储器访问(DMA)引擎并且初始化存储器。由于系统架构是 当多个外设为获得系统资源而竞争时，系统中是否存在带 所有外设的公用资源，因此提供一个统一的平台和一些实用任 宽问题？ 务来根据外设要求配置系统会更合理。多层架构确保系统支持 每个DMA/外设都有对整个存储器空间的读写权限吗？ 每个外围组件。各层实现随机化，确保系统和外设覆盖率最大 化。 系统内的所有寄存器都可以访问吗？ 环境针对性能进行了优化，支持线程管理、条件编译和模块级 是否会产生流量模式，从而验证系统真正支持使用案例？ 测试平台的即插即用。因此，这是一种自下而上的方法，模块 模块是否采用了在系统上无效的行为，或者模块是否看到 级需要遵守一套基本但宽泛的原则，以便简化集成。 了它不是为此而设计的行为？ 本文将说明系统级验证所用的传统方法，以及新方法如何对其 对于如此复杂的SoC ，由于涉及到大量组合，利用定向测试来 进行改进，同时将阐述分层架构及其有哪些优势。本文还将讨 验证上述各种情况是不可行的。 论通过适当的线程和存储器管理来改善运行时间的技术，以及 使用模块级VMM测