资源描述:
《嵌入式系统设计的一种协同仿真方法[1].pdf》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、Vol.27No.5华 东 理 工 大 学 学 报 2001210JournalofEastChinaUniversityofScienceandTechnology475文章编号:100623080(2001)0520475205嵌入式系统设计的一种协同仿真方法3姜伟华, 虞慧群, 应 华, 吴元捷(华东理工大学计算机科学与工程系,上海200237;南京大学计算机软件新技术国家重点实验室,南京210093)摘要:提出了一种基于C++平台的嵌入式系统设计的协同仿真方法。嵌入式系统的软件成分由C++实现,硬件成分由Verilog刻划。该方法的基本思路是将Verilog模块转化为C++程序
2、,然后将软件成分与转化后的硬件成分连接,形成一个完整的仿真环境。关键词:嵌入式系统;协同仿真;协同设计;Verilog中图分类号:TP31文献标识码:AACo-simulationMethodforDesigningEmbeddedSystems3JIANGWei2hua,YUHui2qun,YINGHua,WUYuan2jie(DepartmentofComputerScienceandEngineeringECUST,Shanghai200237,China;StateKeyLaboratoryforNovelSoftwareTechnology,NanjingUniversity,Nan
3、jing210093,China)Abstract:Aco2simulationmethodforhardwareösoftwareco2designofembeddedsystemsisproposed.AnembeddedsystemiscomposedofsoftwarepartsinC++andhardwarepartsinVerilog.ThemethodaimstoconvertVerilogmodulesintoC++programs.Softwareportionsarethenintegratedwiththecon2vertedhardwarepartsandtheresu
4、ltleadstoacompletesimulationenvironment.Keywords:embeddedsystem;co2simulation;co2design;Verilog[1] 嵌入式系统是作为物理设备一个组成部分的计统确认(Validation)等。算机控制系统,在国民经济和国防等领域有着重要协同确认目的是检验嵌入式系统的软、硬件协的应用,并且越来越广地应用到人们的日常生活中,同设计是否满足功能和性能需求,它贯穿于协同设例如移动电话、汽车及家用电器。嵌入式系统的传统计的整个过程[2]。能否尽早发现和纠正设计的错误开发方法是将系统人工划分成软件和硬件部分,由对嵌入式系统的
5、开发有着十分重要的意义。嵌入式不同的工程组独立开发,这对于规模很小的系统是系统软件开发的主要语言是C(或C++),硬件设可行的。但是随着系统复杂程度的增加,以及产品更[3]计通常使用国际标准的硬件描述语言VHDL或新换代的加快,需要一种软件和硬件协调的开发方[4]Verilog描述。Verilog是得到广泛使用的IEEE标法,以缩短系统开发周期、降低系统成本、提高系统准硬件描述语言,国外有很多公司(如Cadense,可靠性,从而在激烈的竞争中占领市场。嵌入式系统Synopsys等)开发基于Verilog的硬件综合和分析的软硬件设计技术已经成为国际上的研究热点,内工具。协同确认的主要方法包括仿真
6、(Simulation)容涉及系统规范、软硬件功能划分、软硬件综合、系[5~6]和验证(Verification)两种。仿真是一种测试技基金项目:教育部高等学校骨干教师资助计划;国家自然科学基金资术,能够检验系统在一整套输入激励下功能的正确助项目(69703008,69903004);国防科技重点实验室基金资助项目(99JS94.10.1.DZ4201)性。验证是一种形式化证明技术,使用数学工具严格收稿日期:2000212223证明系统的正确性。目前,仿真是协同确认的主要方作者简介:姜伟华(19772),男,上海人,硕士研究生,研究方向为嵌入式系统设计、并行编译。[7~8]法,形式化验证方法最
7、近也有很多实用的成果,©1995-2004TsinghuaTongfangOpticalDiscCo.,Ltd.Allrightsreserved.476 华 东 理 工 大 学 学 报第27卷引起了工业界的重视。Verilog描述翻译成功能等价的C++描述的编译本文的主要工作是建立一种基于C++平台的器。嵌入式系统设计的协同仿真方法,基本思路是将(2)软硬件的结合方法:是将描述软件的C++V