海报

SystemC-SoC虚拟原型与定制逻辑的协同仿真框架（仅抽象）

作者:

易彭作者信息和声明

FPGA’13：ACM/SIGDA现场可编程门阵列国际研讨会论文集

2013年2月

第页278

https://doi.org/10.1145/2435264.2435346

出版:2013年2月11日出版历史

获取访问权限

摘要

为了满足芯片上系统（SoC）对高性能应用和IP可编程性的日益增长的需求，在单芯片或多芯片系统中开发了具有自定义逻辑的专用SoC。与任何其他SoC平台一样，在硬件可用之前使用虚拟样机（VP）进行早期软件开发至关重要。然而，现有的自定义逻辑RTL使得用高级语言（即SystemC/C/C++）编写的软件模型来模拟整个系统变得非常简单。在本文中，我们描述了我们独特的虚拟原型框架“FPGA-In-the-Loop（FIL）”，以实现VP中的软件模型和FPGA中以本机速度运行的自定义逻辑的联合仿真。该平台使设计人员能够开始早期的软件开发和整个硬件平台的集成，而无需为自定义逻辑开发软件模型。更重要的是，我们的贡献在于克服了此类联合仿真系统中的两个最大挑战；1）通信信道性能瓶颈和2）软件可见的异步信号定时正确性（即中断）。我们的框架能够1）优化VP和FPGA之间的通信，以实现高达872 Mbps的有效吞吐量，2）保证两个仿真域之间软件可见的异步信号传递定时（即中断）。最后，我们在一个带有SoC和FPGA的商业混合平台上实现了我们的框架，以演示完整的嵌入式Linux堆栈与FPGA中运行的自定义视频/触摸屏IP之间的通信。

工具书类

[1]

S.L.Lu、P.Yiannacouras、R.Kassa、M.Konow、T.Suh。完整桌面系统中基于FPGA的Pentium®。2007年2月，现场可编程门阵列国际研讨会进行中。

数字图书馆

[2]

D.Vahia和P.Hartke。Xilinx FPGA上的OpenSPARC T1-更新。2007年6月14日在RAMP Retreat，2007年6月份给出。

[3]

S.Assad、R.Bellofatto、B.Brezzo、C.Haymes、M.Kapur、B.Parker、T.Roewer、P.Saha、T.Takken和J.Tierno。用于加速多核处理器仿真的循环精确、循环可再现的多FPGA系统。现场可编程门阵列国际研讨会论文集，2012年2月

数字图书馆

[4]

G.Schelle、J.Collins、E.Schuchman、P.Wang、X.Zou、G.Chinya、R.Plate、T.Mattner、F.Olbrich、P.Hammarlund、R.Singhal、S.Steibl和H.Wang。Intel Nehalem处理器内核使FPGA可合成。2010年2月，现场可编程门阵列国际研讨会论文集

数字图书馆

[5]

E.S.Chung、E.Nurvitadhi、J.C.Hoe、B.Falsafi和K.Mai，使用FPGA加速全系统多处理器仿真的一种复杂高效的体系结构。现场可编程门阵列国际研讨会论文集，2008年2月

数字图书馆

[6]

D.Chiou、D.Sunwoo、J.Kim、N.Patil、W.Reinhart、E.Johnson、J.Keefe和H.Angepat。FPGA加速仿真技术（FAST）：快速、全系统、循环准确模拟器。2007年12月，国际微体系结构研讨会论文集。

数字图书馆

[7]

Accellera，标准协同仿真建模接口（SCE-MI）参考手册V 2.0版，2007年发行。

[8]

杨伟民、黄春华、苏亚平、朱亚平和薛福林。从SystemC到FPGA的ESL验证方法实践——以EPC Class-1 Generation-2 RFID标签设计为例，“设计自动化会议（ASP-DAC），第821-824页，2010年1月18-21日

数字图书馆

[9]

C.Y.Huang、Y.F.Yin、C.J.Hsu、T.B.Huang和T.M.Chang。SoC硬件/软件验证和确认。设计自动化会议（ASP-DAC），第297--300、25-28页。2011年1月

数字图书馆

[10]

C.赫尔姆斯特。SimSoC：用于全系统仿真的SystemC TLM集成ISS。《电路与系统》，2008年。APCCAS 2008。IEEE亚太区，2008年11月。

[11]

P.S.Magnusson、M.Christensson、J.Eskilson、D.Forsgren、G.Hallberg、J.Hogberg、F.Larsson、A.Moestedt和B.Werner。Simics：全系统仿真平台。IEEE计算机，35（2）：50-582002年2月。SimSoC：用于全系统仿真的SystemC TLM集成ISS

数字图书馆

[12]

F.Bellard，“QEMU，一种快速便携的动态翻译器”，2005年USENIX年度技术会议，第41-46页，2005年4月。

数字图书馆

[13]

R.Avinun，“使用软件在线系统开发工具验证下一代移动/消费者应用程序的硬件/软件”，《电子时报》，2010年，http://new.eetimes.com/design/embedded/4211507/Validate-hardware-software-for-nextgen-mobile-consumer-apps-using-softwareon-chip-system-development-tools-。

[14]

M.Bombana和F.Bruschi。硬件领域的SystemC-VHDL联合仿真与合成。2003年欧洲设计、自动化和测试会议和展览。

数字图书馆

[15]

A.Sayita、G.Canverdi、M.Pauwels、A.Alshawa和W.Dehaene。使用SystemC进行片上系统验证的混合抽象级联合仿真案例研究。日期'03。2003

数字图书馆

[16]

Synopsys、VCS、，http://www.synopsys.com/tools/verification/functionalverification/pages/vcs.aspx

[17]

Mentor Graphics公司，ModelSim，http://model.com/

[18]

Xilinx，RTL合作，http://www.xilinx.com/products/silicon-devices/epp/zynq-7000/developer-tools/co-simulate-debug/index.htm

[19]

Altera，SoC FPGA虚拟目标，http://www.altera.com/devices/processor/arm/cortex-a9/virtual-target/proc-a9-virtual-target.html

[20]

Altera，SoC FPGA系列，http://www.altera.com/devices/processor/soc-fpga/proc-soc-fpga。htm

索引术语

SystemC-SoC虚拟原型与定制逻辑的协同仿真框架（仅抽象）
1. 硬件
  1. 硬件验证
    1. 功能验证
      1. 模拟和仿真

建议

基于事务级模型的嵌入式软件开发
CODES+ISSS’07：第五届IEEE/ACM硬件/软件协同设计和系统综合国际会议论文集

使用事务级模型的早期嵌入式软件开发已得到广泛推广，以提高SoC设计生产力。但提议的API仅通过TLM互连提供低级读/写操作。软件开发人员必须实现平台。。。
阅读更多信息
用于SMP机器上快速硬件仿真的并行SystemC内核
PADS’09：2009年ACM/IEEE/SCS第23次高级和分布式仿真原理研讨会会议记录

SystemC是一种系统级建模语言和仿真框架，有助于不同级别处理器设计的设计和验证。最近，SystemC正在成为芯片系统（SoC）和……设计者的热门选择。。。
阅读更多信息
系统原型：虚拟、硬件还是混合？
DAC’09：第46届设计自动化年会会议记录

如今，几乎所有SoC设计都在开发周期的某个时间点使用硬件原型来执行硬件/软件验证或测试与真实世界刺激的接口。最近，虚拟原型已经成为运行系统级测试的一种方式。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

FPGA’13：现场可编程门阵列ACM/SIGDA国际研讨会论文集

2013年2月

294页

国际标准图书编号：9781450318877

内政部：10.1145/2435264

总主席：
布拉德·哈钦斯
美国杨百翰大学
,
项目主席：
沃恩·贝茨
加拿大多伦多大学

版权所有©2013作者。

赞助商

SIGDA:ACM设计自动化特别兴趣小组

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2013年2月11日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

海报

会议

FPGA’13

赞助商：

SIGDA公司

FPGA’13：2013年ACM/SIGDA现场可编程门阵列国际研讨会

2013年2月11日至13日

加利福尼亚州，蒙特雷，美国

接受率

627份提交文件中的125份总体接受率，20%

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

0
引文总数
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

其他指标

查看作者指标

引文

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

媒体

数字

其他

桌子