片上系统设计中的事务级建模方法

《片上系统设计中的事务级建模方法》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、片上系统设计中的事务级建模方法TransactionLevelModelinginSoCDesign(洛阳中国空空导弹研究院EDA中心)石晓郁Shi,Xiaoyu摘要：本文论述了片上系统设计与验证中存在的一些问题，如系统架构探索与评估、软硬件协同仿真等，介绍了用来解决这些问题的可执行规格、可执行平台、多抽象层次混合建模与验证等较新的观念和方法，最后着重介绍了基于软硬件统一的建模语言SystemC的事务级建模方法。关键词：片上系统;可执行规格;可执行平台;SystemC;事务级建模中图分类号:TP253文献标识码:AAbstract

2、:ThispaperaddressessomeproblemsexistedinSoCdesignandverification,introducessomenewconceptsandapproacheswhichareadoptedtosolvetheseproblems,suchasexecutablespecification,executableplatform,multipleabstraction-levelmodelingandverification,finallyemphasizesthetransaction

3、levelmodelingbasedonSystemC.Keywords:SoC,ExecutableSpecification,ExecutablePlatform,SystemC,TLM1系统级设计与验证简介片上电子系统的速度和复杂度的不断提高不仅使得底层的设计实现易于出问题，而且顶层的系统架构、通讯机制、软硬件划分等都可能使系统的功能、性能或成本、开发周期等指标不满足要求。一旦在底层的实现阶段发现了这种顶层的设计问题，会有大量的设计工作重新进行；此外，工程师对设计规格的理解偏差，或设计规格本身的不完整及二义性也是造成设计错误

4、的原因之一；底层硬件的设计在验证时需要大量的输入激励和检验响应，在信号级完成这样的工作不但速度很慢而且容易遗漏。由于电子系统中相当部分的工作是由软件完成，所以必须确保在应用环境下软硬件能够正确地协同工作。以前软件中依赖于硬件的部分通常要等到样机加工好后才能调试，使得嵌入式软件的完整验证只能在系统设计周期的后端进行，此时发现的设计错误通常要花费较高的修改代价，特别是那些牵涉到软硬件划分等系统层次的问题。所有这些都要求我们用跟以往大不相同的方式看待电子系统的设计流程：设计规格必须用形式化的、语法严格且语义明确的高级语言描述；从系统的顶

5、层到底层的每一适当的抽象层次都采用合适的高级语言建立相应的模型；每一层次的模型都要进行验证，并可作为下一层次系统模型的参考模型和子模块的测试平台。如此，便可形成一系列可执行的设计规格(ExecutableSpecification)，并将验证工作左移到系统设计的早期阶段，从而达到消除设计规格的歧义性和及早发现较高层次的设计错误的目的。目前国际上已普遍做到用高级语言来进行系统的规格描述和底层实现，从而形成从系统顶层到底层的一系列可验证的模型；软件与硬件的相互验证不必等到实物样机加工好再进行，而是与硬件的RTL模型联合仿真。其存在的主

6、要问题有：顶层设计如算法等用的是传统的软件高级语言C++、Fortran等，而底层的硬件设计用的是硬件描述语言VHDL、Verilog，这样造成整个设计和验证流程不够顺畅，各层次之间难以做到无缝连接；对于更复杂或运算量非常大的系统，验证的速度尤其是软硬件联合仿真的速度太慢，难以进行有效的验证。上述问题的解决方法是：规定软硬件设计和验证统一的高级描述语言；规范抽象方式和级别，特别是在RTL之上规范硬件平台的建模方法。国际上EDA界经过几年的发展与讨论，公认最有前途成为电子系统设计与验证统一语言的就是SystemC，它是在C++的基础

7、上加上一套适合于硬件描述的模板库和仿真内核构成，并不断地扩充进有望成为标准的附加库，如验证库SCV、事务级建模库TLMAPI等。在基于SystemC的系统级建模和验证流程中，首先在顶层建立较高抽象级的模型，主要用于完成系统控制与算法的设计分析，进行物理架构的功能性能的设计分析。通过建立系统级的抽象模型，执行仿真分析和评估给出量化的指标，从而对系统级的功能性能作出正确的设计，并在此基础上进行软硬件模块划分。2模型层次为便于后面叙述的方便，这里先简要介绍一下系统建模的几种抽象方式和应用类型。抽象方式可分为：*非定时功能UTF(UnTi

8、medFunctional)：可用于模型的接口和内部功能，进程的执行和数据传输都不耗费时间，时间只可能作为定序机制而使用。*定时功能TF(TimedFunctional)：可用于模型的接口和内部功能，进程的执行和数据传输都都分配了有限的时间。*总线