检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:隋金雪[1] 张霞[2] 郁添林 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)
机构地区:[1]山东工商学院电子与信息工程学院,山东烟台264003 [2]北京大学信息技术高等研究院,浙江杭州311215
出 处:《计算机仿真》2023年第1期345-348,488,共5页Computer Simulation
基 金:山东省自然科学基金(2016ZRB019JQ);浙江省重点研发计划项目(2020C01SA100208)。
摘 要:基于通用验证方法学(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.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.144.230.177