摘要
基于通用验证方法学(Universal Verification Methodology, UVM)搭建了可用于AXI4总线协议的验证平台,该验证环境针对基于AMBA总线的AXI4 IP功能的验证需求搭建。该验证平台结合通用功能组件设计总线功能模型,设置受约束的随机激励与定向测试,构造不同的测试用例,完成验证结果的自动校验,提高了验证效率和平台的可移植性。在AXI4多主多从的互联结构下,对乱序传输、突发传输以及混合交叉读写类型等进行充分验证。验证进度可从仿真日志、覆盖率指标以及波形图直观判断,搭建的验证平台完成了AXI4总线的验证任务。
Based on Universal Verification Methodology(UVM),a verification platform that can be used for the AXI4 bus protocol was built. Based on the AMBA bus, the verification environment was built to fulfill the verification requirements of the AXI4 IP function. The verification platform combined general functional components to design the bus function model, set up constrained random excitation and directional tests, construct different test cases, complete automatic comparison of verification results, and improve the portability of the platform. Under the AXI4 multi-master and multi-slave interconnection structure, out-of-order transmission, burst transmission, and mixed interleaved read-write types were fully verified. The verification results can be directly checked from the simulation log, function coverage and waveform. The built verification platform has completed the verification task of the AXI4 bus.
作者
隋金雪
张霞
郁添林
SUI Jin-xue;Melissa ZHANG;YU Tian-lin(School of Electronics and Information Engineering,Shandong Technology and Business University,Yantai Shandong 264026,China;Advanced Institute of Information Technology Peking University,Hangzhou Zhejiang 311215,China)
出处
《计算机仿真》
北大核心
2023年第1期345-348,488,共5页
Computer Simulation
基金
山东省自然科学基金(2016ZRB019JQ)
浙江省重点研发计划项目(2020C01SA100208)。