摘要
提出了一种新的适用于处理器的硅前性能验证平台的基准程序实现方法。方法的主要思想是利用现成的广泛使用的测试程序集合,通过降低工作负载,采用基于基本块的划分、归并方式,将多个基于相同特征点的代码片段作为一个基准检测点,这些抽象的检测点构成了基准程序库。该方法将复杂的处理器内部行为的一致性判断转换为性能的宏观统计分析,充分利用了已有的权威测试基准集,无需重新编写性能验证平台的基准程序,既扩大了验证程序的规模,又节省了大量的劳动,同时可以针对验证样本通过分析系统自动展开验证工作,减少了人工核对的工作量。
A method to construct a middle scale testbench for processors' performance debug during the pre-silicon verification stage was proposed. This approach makes use of the prevalent processor benchmarks and replaces the complete test with light workloads. The instruction streams are clustered into several checkpoints according to basic block partition and categorization, and all of these checkpoints make up a novel benchmark. This approach converts the complex performance diagnostic method, which is based on waveform observation of the elaborate architecture, to statistical analysis of checkpoints. This method does not require a new medium scale testbench, so extra work and cost can be avoided. Moreover this can prompt automated verification process with less manual inspection.
作者
张华亮
刘宏伟
刘天义
Zhang Hualiang Liu Hongwei Liu Tianyi(Key Laboratory of Computer Architecture, Institute of Cumputing Technology, Chinese Academy of Sciences, Beijing 100190 University of Chinese Academy of Sciences, Beijing 100049 Loongson Technology Corporation Limited, Beijing 100190)
出处
《高技术通讯》
CAS
CSCD
北大核心
2016年第8期713-718,共6页
Chinese High Technology Letters
基金
"核高基"科技重大专项课题(2014ZX01020201)
国家自然科学基金(61432016)
863计划(2013AA014301)资助项目
关键词
基准测试程序集
硅前性能验证
处理器验证
仿真加速器
基本块
验证平台
基准程序库
benchmarks, pre-silicon performance verification, processor verification, simulation accelerator, basic block, testbench, benchmark database