模块化片上系统中高级可扩展接口的死锁避免

来源：电子与信息学报杂志2023年第9期北京时间：

作者：郭振江, 王焕东, 张福新, 肖俊华

单位：1.计算机体系结构国家重点实验室 北京 1001902.中国科学院计算技术研究所 北京 1001903.中国科学院大学计算机科学与技术学院 北京 1000494.龙芯中科技术有限公司 北京 100190

摘要：模块化片上系统(MSoC)包含多个独立的IP组件及多个可能的子网络，这种异构集成的方式往往为片上网络(NoC)引入潜在的死锁。该文基于模块化异构系统MSoC研究了使用高级可扩展接口(AXI)协议的片上网络中3种类型的死锁。MSoC包含多种常见的异构组件，以及由多个独立子网络集成的片上网络，能够充分反映真实芯片的复杂性和不规则性。该文发现除环形通道导致的死锁外，基于AXI的片上网络还涉及双重路径死锁和桥接死锁。该文还提出一种两阶段算法检测片上网络中可能存在的这3种死锁。相比于通用验证方法学(UVM)随机验证，使用该算法可以将检测时长从几个月缩短到几个小时，提高片上网络的可靠性和鲁棒性。

关键词：片上网络, 模块化片上系统, 死锁避免, 高级可扩展接口协议

基金资助：中科院战略先导项目(XDC05020000)