欢迎来到天天文库
浏览记录
ID:27870460
大小:36.00 KB
页数:5页
时间:2018-12-06
《基于FPGA的软硬件协同仿真加速技术.doc》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、基于FPGA的软硬件协同仿真加速技术 1前言 在数字集成电路的设计中,当设计工程师在用硬件描述语言(HDL:HardwareDescripTIonLanguage)完成设计之后,需要通过仿真来检验设计是否满足预期的功能。在仿真中,设计工作师需要为设计项目建立一个测试平台,这个测试平台为设计项目提供尽可能完备的测试激励,并提供可供观测的输出响应,根据这些输出响应信息,设计工程师便可以判断设计项目是否满足预期的功能。在进行仿真工程时,设计工程师一般先对各个功能模块进行仿真验证,全部通过后再对整个系统设计进
2、行仿真。当设计工程师在仿真中发现错误,就需要进行仔细调试,找出错误发生的原因并加以修改。 随着系统设计的复杂性不断增加,当设计集成度超过百万门后,设计正确性的验证比设计本身还要费劲,系统仿真的实时性很难满足要求。在针对复杂电路进行软件仿真时,系统的仿真时间往往需要占据大部分的设计时间。我们常常会为了仿真电路的某些功能,而不得不等上几个小时甚至几天。如何提高仿真效率,减少仿真复杂度,缩短仿真时间,将成为系统设计中的关键一环.利用基于C语言的设计和验证方法来代替传统的基于HDL语言设计的仿真,从而加快仿真速度,
3、但是这种方法只适用设计的早期阶段。为了方便而快速的实现仿真验证,及时得到测试数据,本文提出运用硬件加速的思想,采用硬件仿真平台和软件仿真平台相互通信,即通过主机上运行的仿真软件与硬件平台相结合,实现软硬件协同加速仿真,仿真速度可以提高30倍。 2软硬件协同加速仿真 在传统的设计与验证过程中,设计工程师首先将复杂的系统逐模块的用硬件描述语言表述,待所有模块在仿真器上单独验证通过后,通过模块间整合进行局部和整个设计的仿真,如图1所示。 图1设计验证进程 假设模块Master和模块Slave是整个复
4、杂设计中的一部分。模块Master负责把输入数据进行数据处理,随后把处理后数据发送到下一个模块Slave,Slave模块完成一个功能复杂的算法运算,运算结束后把结果返回到模块Master中,进行下一步操作,设计框图如图2所示。 图2设计例子框图 设计工程师在完成模块Master和模块Slave的HDL设计后,用HDL仿真器软件分别对两个模块进行仿真验证,模块Master的仿真时间花费了五分钟,模块Slave花费了十五分钟,两个模块进行联合仿真花费了二十分钟。如果设计不正确,则要对设计进行重新修改和仿真
5、直到验证通过为止,重复的仿真工作将要花费几天甚至几星期。为了缩短仿真时间,本文提出利用硬件加速的思想,对设计进行软硬件协同加速仿真。模块Master和模块Slave的功能首先分别在软件上仿真验证通过,待模块Slave经综合实现后,把模块Slave下载到硬件中,模块Master仍然运行在软件上,通过HDL仿真工具提供的外部接口实现软硬件间的数据交互,进行模块Slave和模块Master的联合仿真验证,一旦仿真通过,把模块Master和模块Slave都放入硬件中进行加速仿真验证,这时两个模块的联合仿真时间将大大缩
6、短。 图3加速仿真 本文描述的加速仿真技术实现框图如图3所示。DUT(DesignUnderTest)由可综合的VerilogHDL语言设计完成。DUT综合实现后,下载到现场可编程门阵列(FPGA:FieldProgrammableGateArray)中进行加速仿真验证。运行在HDL仿真器上的测试文件TestBench给DUT发送测试激励并响应输出信息,FPGA与HDL仿真器间的信息交换由仿真器提供的Verilog编程语言接口(PLI:ProgrammingLanguageInterface)来实现。
7、VerilogPLI为Verilog代码调用C语言编写的函数提供了一种机制,它提供了C语言动态链接程序与仿真器的接口,可以实现C语言和Verilog语言的协同仿真。由于C语言在过程控制方面比Verilog语言有优势,可以用C程序来产生测试激励和读取信号的值。以Windows平台为例,用户通过运用C语言和VerilogPLI编写接口函数,编译代码并生成动态链接库(DLL:DynamicLinkLibrary),然后在由Verilog语言编写的TestBench中调用这些函数。在执行TestBench文件进行仿真
8、时,TestBench中的C函数一旦链接成功,C函数将详细信息传递给HDL仿真器,执行C函数就可以像仿真Verilog代码一样进行仿真。这样,设计工程师利用VerilogPLI接口创建自己的系统调用任务和系统函数,就可以通过C语言编程对DUT进行辅助仿真,达到Verilog语法所不能实现的功能。
此文档下载收益归作者所有