-
题名模块化片上系统中高级可扩展接口的死锁避免
- 1
-
-
作者
郭振江
王焕东
张福新
肖俊华
-
机构
计算机体系结构国家重点实验室
中国科学院计算技术研究所
中国科学院大学计算机科学与技术学院
龙芯中科技术有限公司
-
出处
《电子与信息学报》
EI
CSCD
北大核心
2023年第9期3175-3183,共9页
-
基金
中科院战略先导项目(XDC05020000)。
-
文摘
模块化片上系统(MSoC)包含多个独立的IP组件及多个可能的子网络,这种异构集成的方式往往为片上网络(NoC)引入潜在的死锁。该文基于模块化异构系统MSoC研究了使用高级可扩展接口(AXI)协议的片上网络中3种类型的死锁。MSoC包含多种常见的异构组件,以及由多个独立子网络集成的片上网络,能够充分反映真实芯片的复杂性和不规则性。该文发现除环形通道导致的死锁外,基于AXI的片上网络还涉及双重路径死锁和桥接死锁。该文还提出一种两阶段算法检测片上网络中可能存在的这3种死锁。相比于通用验证方法学(UVM)随机验证,使用该算法可以将检测时长从几个月缩短到几个小时,提高片上网络的可靠性和鲁棒性。
-
关键词
片上网络
模块化片上系统
死锁避免
高级可扩展接口协议
-
Keywords
Network on-Chip(NoC)
Modular System on Chip(MSoC)
Deadlock avoidance
Advanced eXtensible Interface(AXI)protocol
-
分类号
TN47
[电子电信—微电子学与固体电子学]
TP302
[自动化与计算机技术—计算机系统结构]
TP303
[自动化与计算机技术—计算机系统结构]
-
-
题名面向系统级芯片的串行外设接口模块设计
被引量:4
- 2
-
-
作者
杨晓
李战明
-
机构
兰州理工大学电气工程与信息工程学院
-
出处
《计算机应用》
CSCD
北大核心
2015年第12期3607-3610,共4页
-
文摘
针对传统串行外设接口(SPI)模块设计不灵活、不利于扩展、不支持乱序访问的缺陷,设计了一种面向系统级芯片(So C)的SPI模块。首先,根据SPI通信协议,设计SPI基本架构;其次,根据SPI架构,设计相应输入输出状态机(FSM)、扩展端口及支持乱序访问的标识(ID)模块;再次,利用Synopsys公司的Verilog模拟器编译(VCS)仿真工具对该SPI设计的正确性进行验证;最后,为该SPI设计搭建参数可配置的随机验证环境,对代码覆盖率报告进行分析,并有针对性地手动加入测试点提高各项代码覆盖率。仿真结果表明,与传统的SPI设计相比,面向So C的SPI模块设计支持高级可扩展接口(AXI)总线扩展,具有8个独立的读写通道,各通道间支持可乱序访问,不会出现通道堵塞情况。
-
关键词
系统级芯片
串行外设接口
高级可扩展接口
验证环境
代码覆盖率
-
Keywords
System-on-a-Chip(SoC)
Serial Peripheral Interface(SPI)
Advanced e Xtensible Interface(AXI)
verification environment
code coverage
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
-