-
题名基于事务级协同仿真的AXI4交易器设计与验证
- 1
-
-
作者
计润五
黄正峰
杨滔
孙亮
-
机构
合肥工业大学微电子学院
无锡亚科鸿禹电子有限公司
-
出处
《合肥工业大学学报(自然科学版)》
北大核心
2025年第9期1201-1207,共7页
-
基金
国家自然科学基金资助项目(62274052,62374049)
安徽省重点研究与开发计划资助项目(202304a05020003)。
-
文摘
针对软硬件协同仿真过程中通信时间不同步和硬件仿真速度受限的难题,文章设计实现了一种高级可扩展接口(Advanced eXtensible Interface 4,AXI4)协议的交易器。基于事务级的软硬件协同仿真,结合硬件描述语言特性以及函数式编程的软件特性,使用SpinalHDL硬件描述语言设计一种AXI4接口协议的交易器,利用高级语言的敏捷特性对交易器生成流程进行高效处理,加速仿真验证阶段的编译流程。基于通用验证方法学(universal verification methodology,UVM)搭建验证平台对设计的交易器进行功能验证,结果显示交易器的代码覆盖率综合达到99.17%,功能覆盖率达到100%,符合交易器的功能要求。调用AXI Interconnect IP作为待测设计(design under test,DUT)在国产硬件仿真器-HyperSemu上实现事务级传输,结果显示,相较于纯软件仿真加速比达29.94,加快了协同仿真的验证速度,提升了仿真性能。
-
关键词
交易器
高级可扩展接口(AXI4)
通用验证方法学(UVM)
硬件仿真器
SpinalHDL硬件描述语言
-
Keywords
transactor
Advanced eXtensible Interface 4(AXI4)
universal verification methodology(UVM)
emulator
SpinalHDL
-
分类号
TN402
[电子电信—微电子学与固体电子学]
-
