-
题名高效能ESCA协处理器验证技术研究
- 1
-
-
作者
邓承诺
吴丹
黄威
戴葵
邹雪城
-
机构
华中科技大学电子科学与技术系
-
出处
《计算机工程与科学》
CSCD
北大核心
2014年第1期28-33,共6页
-
基金
国家自然科学基金资助项目(60973035
60976027)
湖北省自然科学基金资助项目(ZRZ0051)
-
文摘
处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键。基于一款高效能计算协处理器ESCA,讨论了边界值验证、等价类验证和决策表验证等三类验证方法在ESCA处理器功能验证中的具体实现,并针对ESCA处理器中不同功能模块的基本特性提出了一种综合验证方法。实验结果表明,采用综合验证方法进行的ESCA处理器功能验证,不仅高效保证了验证案例集的生成,而且以较少的验证工作量实现了100%功能覆盖率,有效减少了ESCA处理器功能验证时间,提高了验证效率。
-
关键词
处理器验证技术
esca处理器
边界值验证
等价类验证
决策表验证
综合验证法
-
Keywords
verification techniques of processor
esca processor
boundary value verification
equiva-lence class verification
decision table verification
comprehensive verification
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名基于ESCA系统的层次化显式访存机制研究
被引量：2
- 2
-
-
作者
饶金理
吴丹
陈攀
董冕
邓承诺
戴葵
邹雪城
-
机构
华中科技大学电子科学与技术系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第22期24-27,34,共5页
-
基金
国家自然科学基金资助项目(NSFC60973035
NSFC60976027)
湖北省自然科学基金资助项目(2010CBD02705)
-
文摘
针对高性能混合计算系统中的存储墙问题,在分析其计算模式特点及传统访存机制局限性的基础上,提出适用于混合计算系统的层次化显式存储访问机制,并基于ESCA多核处理器系统进行实现和评测。实验结果显示,针对核心应用程序DGEMM,延迟隐藏能够占据整体运行时间的56%,并获得1.5倍的加速比,能弥补计算与存储访问间的速度差异,提高系统计算效率。
-
关键词
混合计算
存储墙
多核处理器
esca系统
层次化显示存储访问
延迟隐藏
-
Keywords
hybrid computing
memory wall
multi-core processor
Engineering and Scientific Computing Architecture（esca） system
hierarchical explicit memory access
hidden of latency
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
-
-
题名高性能子字并行运算单元的设计与实现
被引量：2
- 3
-
-
作者
董冕
吴丹
饶金理
黄威
戴葵
邹雪城
-
机构
华中科技大学电子科学与技术系
-
出处
《计算机工程》
CAS
CSCD
2012年第16期249-252,共4页
-
基金
国家自然科学基金资助项目(NSFC 60976027
60973035)
+1 种基金
湖北省自然科学基金资助项目(ZRZ0051
2010CDB02705)
-
文摘
通过硬件共享的方式实现一套高性能子字并行运算单元,运算单元采用流水线设计,可以一个周期进行1个64-bit、2个32-bit、4个16-bit或8个8-bit定点运算,1个双精度或2个单精度浮点运算。运算单元采用Verilog HDL设计,在0.18μm标准CMOS工艺库下实现,并针对实际多媒体应用程序基于ESCA系统进行性能评测。实验结果表明,该运算单元可以在硬件开销和性能上获得较好的平衡。
-
关键词
多媒体技术
子字并行
硬件共享
运算单元
esca系统
协处理器
-
Keywords
multimedia technique
subword parallel
hardware sharing
arithmetic units
Engineering and Scientific Computing Accelerator（esca） system
co-processor
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
