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

Deadlock Avoidance of Advanced eXtensible Interface Interconnection Networks in Modular System-on-Chips

作　　者：郭振江 王焕东 张福新 肖俊华[1,2,3] GUO Zhenjiang;WANG Huandong;ZHANG Fuxin;XIAO Junhua(State Key Laboratory of Computer Architecture,Beijing 100190,China;Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China;School of Computer Science and Technology,University of Chinese Academy of Sciences,Beijing 100049,China;Loongson Technology Corporation Limited,Beijing 100190,China)

机构地区：[1]计算机体系结构国家重点实验室,北京100190 [2]中国科学院计算技术研究所,北京100190 [3]中国科学院大学计算机科学与技术学院,北京100049 [4]龙芯中科技术有限公司,北京100190

出　　处：《电子与信息学报》2023年第9期3175-3183,共9页Journal of Electronics & Information Technology

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

摘　　要：模块化片上系统(MSoC)包含多个独立的IP组件及多个可能的子网络,这种异构集成的方式往往为片上网络(NoC)引入潜在的死锁。该文基于模块化异构系统MSoC研究了使用高级可扩展接口(AXI)协议的片上网络中3种类型的死锁。MSoC包含多种常见的异构组件,以及由多个独立子网络集成的片上网络,能够充分反映真实芯片的复杂性和不规则性。该文发现除环形通道导致的死锁外,基于AXI的片上网络还涉及双重路径死锁和桥接死锁。该文还提出一种两阶段算法检测片上网络中可能存在的这3种死锁。相比于通用验证方法学(UVM)随机验证,使用该算法可以将检测时长从几个月缩短到几个小时,提高片上网络的可靠性和鲁棒性。Modular System-on-Chips(MSoC)contain several distinct IP components with possibly multiple sub-networks,resulting in potential deadlock situations for the Network on Chip(NoC).A MSoC is developed,and three deadlock cases in Advanced eXtensible Interface(AXI)-based network-on-chip are studied.MSoC consists of various common heterogeneous components,and NoC integrated by multiple independent subnetworks.MSoC can fully reflect the complexity and irregularity of real chips.NoC based on AXI is found toface double-path deadlock and bridge deadlock in addition to loop-path deadlock.A two-stage algorithm is proposed to detect those three cases.Compared to Universal Verification Methodology(UVM)random verification,this method can reduce detection time from months to hours,improving the reliability and robustness of the on-chip network.

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

分 类 号：TN47[电子电信—微电子学与固体电子学] TP302[自动化与计算机技术—计算机系统结构] TP303[自动化与计算机技术—计算机科学与技术]