如何验证AMBA系统级环境

在之前的博客中,我讨论了在验证基于 amba 的子系统的复杂 soc 时面临的一些关键验证挑战。据指出,建立一个可扩展的基于amba的核查环境确实是有益的,这种环境可以作最低限度的调整,以便可以重新用于新的系统或衍生物。
为了使 soc 验证工程师能够创建高度可配置的 amba 结构,系统环境应提供占位符,用于将 dut 与任何典型的 amba vip 组件(如 axi3/4/ace、ahb 或 apb)挂钩。通过使用 amba 系统环境,我们可以将其配置为使用最少的附加代码实例化尽可能多的 axi/ahb/apb vip。因此,这样的环境需要封装以下内容:
气系统环境
axi (3/4/ace) 系统环境
ahb系统环境
apb 系统环境
虚拟序列器
amba 系统监视器阵列
amba 系统环境的配置描述符,可用于配置底层 chi/axi/ahb/apb 系统环境
下图显示了此类验证环境的表示形式:
让我们看看uvm中的哪些功能可以派上用场,为一些重要的系统级功能创建强大的环境:
分层虚拟序列器,以实现各种组件之间的同步:管理总线结构同步的系统序列器可以建模为虚拟序列器,并引用 chi system env、axi system env、ahb system env 和 apb system env 中的虚拟序列器。
利用分析端口进行系统级检查、评分板和响应处理:理想情况下,chi、axi、ahb 和 apb 主代理和从代理中的每个端口监视器都有一个分析端口。在事务结束时,主代理和从代理分别将完成的事务对象写入分析端口。可以指定此类上游端口和下游端口,供系统监视器用于跟踪结构中的转换和响应以及执行路由检查。
使用回调启用用户扩展并提取覆盖范围和吞吐量度量: 回调是一种访问机制,允许插入用户定义的代码,并允许在 amba 系统环境中访问对象以进行性能分析和吞吐量测量。
要在系统环境中的虚拟序列器上运行的综合序列库: uvm 允许将序列的逻辑集合注册到序列库,并且此集合可以在关联的序列器上执行。然后,系统级序列器协调这些序列集合在不同序列器的执行,以创建有趣的场景组合,同时针对系统级激励视角的最大覆盖范围
从验证的角度来看,系统级检查是关键。如前所述,它们可以包括:
跨 chi、axi、ahb 和 apb 端口的数据完整性检查
跨 chi、axi、ahb 和 apb 端口的事务路由检查


Altera Quartus II 12.1版借助高阶设计流程 加速系统开发
嵌入式工程师需要的10技能
谷歌在Google+和收件箱中插入插件
物联网产业链概览,产业链具体公司一览
智能医疗有哪些应用的领域
如何验证AMBA系统级环境
国内接口芯片&接口IP厂商名录
交互性革命:计算机电子产品的完美结合
液晶屏驱动板的原理介绍
商汤打造多维度闭环的人工智能伦理治理体系
联发科内部订出3A计划_凸显ASIC市场规模前景
三星电子宣布将在2030年之前投资约1157亿美元 增强在晶圆代工上的竞争实力
小米双折叠手机被柔宇打脸:三无概念机
比特币能否取代黄金?
宁德时代动力电池扩张步伐提速 获净利9亿元
开路电压是什么意思?
智慧医疗废物监管溯源系统
热管理系统建模案例:乘员舱回路、空调制冷、控制
振弦采集仪在工程监测中的应用研究
STM32看门狗与复位IC同时存在的注意事项