基于AMBA总线协议的多请求DMAC设计及UVM验证

该文章提出一种新的传输技术--基于AMBA(Advanced Microcontroller Bus Architecture)总线的多请求DMAC(Direct Memory Access Controller)设计方法。该DMAC支持CPU通过APB总线来进行寄存器配置,通过AHB总线进行内存数据搬运,支持跨时钟域传输,支持链表传输模式,提高了DMAC系统的通用性,采用了内部多套请求寄存器以及内置轮询权重仲裁器的方式实现了多请求轮询传输模式,提高了DMA系统在面对多个传输请求时的灵活性,通过对比正常传输模式节省大量传输时间,实现了49%的效率提升。设计基于UVM(Universal Verification Methodology)验证平台,提出通用scoreboard设计方法快速定位DMA传输过程中数据比对出错位置,实现100%功能覆盖率。

基于UVM的缓存管理模块验证平台设计

本文基于UVM完成了某国产存储主控芯片中缓存管理模块的验证平台的设计。文章介绍了缓存管理模块的功能,命令的处理流程以及验证平台各组件的设计,着重分析并实现模拟硬件轮询仲裁的功能。通过生成大量激励数据,比对数据结果,收集并分析覆盖率,完成了对缓存管理模块的验证,保证了待测设计的正确性。

形式化验证在加速动态仿真过程中的应用

阐述在验证芯片复杂场景的过程中,往往会由于激励的仿真时间过长或随机化程度不够,从而丢失掉部分的边界情况。形式化验证是一种通过数学的方式来对待测设计进行验证的方法,可以对模块的接口信号进行遍历,从而覆盖其约束范围内所有场景。通过形式化属性验证,对SoC中的轮询仲裁器模块进行验证,通过其得到的违例结果,反向指导SoC制造相应的激励,缩短了寻找边界场景的时间,大大提高了验证效率。