基于功能虚拟原型的验证方法

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于功能虚拟原型的验证方法

江洪波, 黄盈

文章导航 > 电子科技大学学报 > 2008 > 37(2): 258-261

江洪波, 黄盈. 基于功能虚拟原型的验证方法[J]. 电子科技大学学报, 2008, 37(2): 258-261.

引用本文:

江洪波, 黄盈. 基于功能虚拟原型的验证方法[J]. 电子科技大学学报, 2008, 37(2): 258-261.

JIANG Hong-Bo, HUANG Ying. Verification Methodology Based on FVP[J]. Journal of University of Electronic Science and Technology of China, 2008, 37(2): 258-261.

Citation:

JIANG Hong-Bo, HUANG Ying. Verification Methodology Based on FVP[J]. Journal of University of Electronic Science and Technology of China, 2008, 37(2): 258-261.

基于功能虚拟原型的验证方法

江洪波¹,
黄盈²

1.
华中科技大学电子与信息工程系武汉 510006;
2.
电子科技大学计算机科学与工程学院成都 610054

作者简介:
江洪波(1968-),男,在职博士生,主要从事计算机应用、片上系统方面的研究.

中图分类号: TP391.9

Verification Methodology Based on FVP

JIANG Hong-Bo¹,
HUANG Ying²

1.
Department of Electronics and Information Engineering,Huazhong University of Science and Technology Wuhan 510006;
2.
School of Computer Science and Engineering,University of Electronic Science and Technology of China Chengdu 610054

摘要: 为解决片上系统验证和设计不能同步、系统级验证效率低下的问题,该文基于统一验证方法提出一种基于可演化模型的三级验证过程模型。该模型由系统级、行为级和RTL级三级功能虚拟原型演化模型构成,在不同设计阶段复用相同的系统级验证环境,可减少验证的重复工作,将其应用于设计的整个流程,可成功地实现验证和设计同步,提高验证效率。
- 仿真 /
- 功能虚拟模型 /
- 片上系统 /
- 统一验证方法
Abstract: Given the complexity of the functionality of system on chip (SOC), one of the main challenges of current IC design is no more than verification. We implemente a functional virtual prototype (FVP) according to the blueprint of unified verification methodology to solve the synchronization between design and verification in SOC development. The FVP is based on three levels of models:system-level, behavior-level, and register transfer level (RTL). The efficiency of verification can be improved by using FVP as a system-level model.
- emulation /
- functional virtual prototype /
- system on chip /
- unified verification methodology

[1]	黄韬, 陈长胜. TTE时间同步协议关键算法研究和仿真分析 . 电子科技大学学报, 2014, 43(3): 437-442. doi: 10.3969/j.issn.1001-0548.2014.03.021
[2]	史致远, 王春丽, 包伯成, 冯霏. 忆感等效电路的特性分析与实验验证 . 电子科技大学学报, 2014, 43(6): 845-849. doi: 10.3969/j.issn.1001-0548.2014.06.009
[3]	刘强, 马建国. 提高SoC硬件系统验证效率方法的综述 . 电子科技大学学报, 2013, 42(2): 162-170. doi: 10.3969/j.issn.1001-0548.2013.02.001
[4]	汤志伟, 殷静. 基于扩展Petri网的仿真建模与分析 . 电子科技大学学报, 2012, 41(1): 131-135. doi: 10.3969/j.issn.1001-0548.2012.01.025
[5]	于景侠, 贺少勃, 向霞, 袁晓东, 郑万国, 郭袁俊, 祖小涛. 激光辐照熔石英控制的ANSYS仿真 . 电子科技大学学报, 2012, 41(6): 870-874. doi: 10.3969/j.issn.1001-0548.2012.06.010
[6]	廖小丽, 刘华, 张凯, 王正荣. MPCVD装置圆柱谐振腔的仿真设计 . 电子科技大学学报, 2011, 40(5): 716-719,782. doi: 10.3969/j.issn.1001-0548.2011.05.016
[7]	孟珺遐, 王渝, 王西彬. 高精度电液系统的模糊滑模控制仿真研究 . 电子科技大学学报, 2010, 39(3): 392-396. doi: 10.3969/j.issn.1001-0548.2010.03.015
[8]	李平, 廖永波, 阮爱武, 李威, 李文昌. SoC软硬件协同技术的FPGA芯片测试新方法 . 电子科技大学学报, 2009, 38(5): 716-720. doi: 10.3969/j.issn.1001-0548.2009.05.034
[9]	王剑, 王宏, 杨志家. 动态参数模型确定SoC中异步FIFO深度的方法 . 电子科技大学学报, 2009, 38(3): 447-450. doi: 10.3969/j.issn.1001-0548.2009.03.031
[10]	吴春江, 周世杰, 肖春静, 吴跃. BitTorrent网络中的P2P蠕虫传播仿真分析 . 电子科技大学学报, 2007, 36(6): 1206-1210.
[11]	王昱青, 陈华富, 尧德中. 一种扩展的功能磁共振BOLD动力学模型研究 . 电子科技大学学报, 2007, 36(2): 291-293.
[12]	张金林, 沈绪榜, 陈朝阳. SoC中IP核间互联总线完整性故障测试模型 . 电子科技大学学报, 2007, 36(3): 611-613,631.
[13]	黄洁, 杜平安, 廖伟智. 切削加工过程的仿真方法研究与实现 . 电子科技大学学报, 2007, 36(2): 298-301.
[14]	陆力, 朱红. 随机网络计划仿真方法研究 . 电子科技大学学报, 2006, 35(5): 854-856.
[15]	秦东兴, 骆德渊, 卢凉, 董伟. 原料混匀料车间的设计优化与仿真 . 电子科技大学学报, 2005, 34(4): 548-551.
[16]	熊万安, 佘堃, 龚耀寰. WTLS协议性能仿真 . 电子科技大学学报, 2005, 34(4): 489-492.
[17]	胡冰, 李乐民. 一种用于分组交换机的缓存管理算法 . 电子科技大学学报, 2004, 33(6): 656-658.
[18]	张春, 郭兴众. 模糊直接转矩控制系统的设计与仿真研究 . 电子科技大学学报, 2004, 33(5): 582-585.
[19]	李睿, 张朝阳, 唐慧明. HFC网上行信道突发解调器的一种实现 . 电子科技大学学报, 2001, 30(4): 350-354.
[20]	陈玉生, 朱君范, 虞厥邦. 一种改进的非线性锁相环分析及仿真方法 . 电子科技大学学报, 1998, 27(1): 39-42.

WeChat

点击查看大图

计量

文章访问数: 3456
HTML全文浏览量: 103
PDF下载量: 75
被引次数: 0

基于功能虚拟原型的验证方法

江洪波¹,
黄盈²

1. 华中科技大学电子与信息工程系武汉 510006;

2. 电子科技大学计算机科学与工程学院成都 610054

作者简介:
江洪波(1968-),男,在职博士生,主要从事计算机应用、片上系统方面的研究.

收稿日期: 2007-06-04
修回日期: 2007-12-08
刊出日期: 2008-04-15

中图分类号: TP391.9

关键词:

摘要: 为解决片上系统验证和设计不能同步、系统级验证效率低下的问题,该文基于统一验证方法提出一种基于可演化模型的三级验证过程模型。该模型由系统级、行为级和RTL级三级功能虚拟原型演化模型构成,在不同设计阶段复用相同的系统级验证环境,可减少验证的重复工作,将其应用于设计的整个流程,可成功地实现验证和设计同步,提高验证效率。

English Abstract

江洪波, 黄盈. 基于功能虚拟原型的验证方法[J]. 电子科技大学学报, 2008, 37(2): 258-261.

引用本文:

江洪波, 黄盈. 基于功能虚拟原型的验证方法[J]. 电子科技大学学报, 2008, 37(2): 258-261.

JIANG Hong-Bo, HUANG Ying. Verification Methodology Based on FVP[J]. Journal of University of Electronic Science and Technology of China, 2008, 37(2): 258-261.

Citation:

JIANG Hong-Bo, HUANG Ying. Verification Methodology Based on FVP[J]. Journal of University of Electronic Science and Technology of China, 2008, 37(2): 258-261.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发