[1]王婷,马超,田泽. 基于PowerPC架构的通用处理器系统虚拟验证[J].计算机技术与发展,2016,26(04):136-138.
　WANG Ting,MA Chao,TIAN Ze. Virtual Verification of General Processor System Based on PowerPC Architecture[J].,2016,26(04):136-138.
点击复制

 基于PowerPC架构的通用处理器系统虚拟验证()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
26
期数:
2016年04期
页码:
136-138
栏目:
应用开发研究
出版日期:
2016-04-10

文章信息/Info

Title:
 Virtual Verification of General Processor System Based on PowerPC Architecture
文章编号:
1673-629X（2016)04-0136-03
作者:
 王婷; 马超; 田泽
 中国航空计算技术研究所；集成电路与微系统设计航空科技重点试验室
Author(s):
 WANG Ting; MA Chao; TIAN Ze
关键词:
 ; PPC通用处理器; 验证平台; 验证模型; 虚拟仿真
Keywords:
 ; PPC general processor; testbench; verifying model; virtual simulation
分类号:
TP39
文献标志码:
A
摘要:
 基于PowerPC架构通用处理器系统在全球军用/宇航微处理器等长寿命、高可靠领域应用非常广泛，与此同时其规模和复杂度之大给设计和验证带来了巨大挑战。文中基于一款PowerPC架构的通用处理器系统，构建软硬件协同工作的虚拟验证平台，开发验证模型和测试程序，并采用模块级到系统级的分层验证策略。验证结果表明，基于PowerPC架构通用处理器系统虚拟验证能够有效地进行系统的功能和性能验证，提高了验证效率，缩短了设计中的查错纠错时间，从而降低风险，加快设计、验证进度。
Abstract:
 The general processor system based on PowerPC architecture is outstanding in the military/astronautics microprocessor field with longer life and higher reliability. At the same time,with the increasing of the transistor number and the complexity,the design and verification has been brought huge challenge. Based on the general processor system based on PowerPC architecture,the hardware/soft-ware co-design virtual verification testbench is proposed,and verifying model and testcase is developed,and the verification method from module to system is adopted. The simulation results show that the virtual verification for general processor system based on PowerPC ar-chitecture can conduct the verification of function and performance,which improves the efficiency and reduces the time of error correction in design,to reduce the risk and increase the degree of design and verification.

相似文献/References:

[1]张志宏,吴庆波,邵立松,等.基于飞腾平台TOE协议栈的设计与实现[J].计算机技术与发展,2014,24(07):1.
　ZHANG Zhi-hong,WU Qing-bo,SHAO Li-song,et al. Design and Implementation of TCP/IP Offload Engine Protocol Stack Based on FT Platform[J].,2014,24(04):1.
[2]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[J].计算机技术与发展,2014,24(07):5.
　LIANG Wen-kuai,LI Yi. Research on Optimization of Flight Scheduling Problem Based on Improved Gene Expression Algorithm[J].,2014,24(04):5.
[3]黄静,王枫,谢志新,等. EAST文档管理系统的设计与实现[J].计算机技术与发展,2014,24(07):13.
　HUANG Jing,WANG Feng,XIE Zhi-xin,et al. Design and Implementation of EAST Document Management System[J].,2014,24(04):13.
[4]侯善江[],张代远[][][]. 基于样条权函数神经网络P2P流量识别方法[J].计算机技术与发展,2014,24(07):21.
　HOU Shan-jiang[],ZHANG Dai-yuan[][][]. P2P Traffic Identification Based on Spline Weight Function Neural Network[J].,2014,24(04):21.
[5]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[J].计算机技术与发展,2014,24(07):25.
　LI Can,GENG Guo-hua,LI Kang,et al. A Method of Obtaining Cultural Debris’ s Line Chart Based on Three-dimensional Model[J].,2014,24(04):25.
[6]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(04):29.
[7]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[J].计算机技术与发展,2014,24(07):34.
　LIU Qian[],JING Xiao-yuan[,LI Wen-qian[],et al. Orthogonal Sparsity Preserving Projections Based on Manifold Learning[J].,2014,24(04):34.
[8]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[J].计算机技术与发展,2014,24(07):38.
　SHANG Fu-hua,LI Xiang,GONG Miao. Research on Knowledge Representation and Inference Based on Fuzzy Framework-production[J].,2014,24(04):38.
[9]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[J].计算机技术与发展,2014,24(07):43.
　YE Si,LI Liang-fu,XIAO Zhang-shu. Research of an Image Mosaic Method for Removing Ghost of Moving Targets[J].,2014,24(04):43.
[10]余松平[][],蔡志平[],吴建进[],等. GSM-R信令监测选择录音系统设计与实现[J].计算机技术与发展,2014,24(07):47.
　YU Song-ping[][],CAI Zhi-ping[] WU Jian-jin[],GU Feng-zhi[]. Design and Implementation of an Optional Voice Recording System Based on GSM-R Signaling Monitoring[J].,2014,24(04):47.

更新日期/Last Update: 2016-06-17