面向SoC的系统级设计语言

目前集成电路的设计已经进入SoC时代,介绍了SoC设计所用的系统级设计语言的发展情况,以及典型的系统级设计语言在不同设计层次上的描述能力;并介绍了几种典型的系统级设计语言,给出了这些语言之间的特点对比,最后阐述了对系统级设计语言的看法,展望了其发展前景。     

SoC系统级描述语言SpecC

讨论了SoC系统描述的要求,针对这些要求指出了目前系统级描述语言的不足之处,然后分别从层次化,同步、异常处理、时序等几个方面详细介绍一种能满足SoC系统所有描述要求的系统级描述语言--SpecC语言.将SpccC语言和其它系统级描述语言在系统描述能力和可综合性等多个方面进行比较,结果表明,SpecC语言在系统级描述方面具有明显的优势.     

基于可配置处理器的SoC系统级设计方法

论文对一种经过改进的SoC系统级快速设计方法进行了介绍和研究。该设计基于可配置处理器核,在设计早期阶段对SoC系统快速建模,以获得针对具体应用算法的最优性能。同时,利用软硬件协同设计方法,得到硬件结构模型和软件开发平台。实验结果表明,该方法不仅灵活,而且设计周期短,减少了设计工作量。     

SoC系统级设计方法与技术

介绍了以Y图为中心的系统级设计方法研究主题,从软硬件协同设计技术、设计重用技术以及与底层相结合设计技术3方面探讨了系统级关键设计技术的研究进展.从设计方法和技术路线上,将当前的研究工作归纳为基于SpecC自顶向下细化求精的设计方法、基于组件多处理器核SoC自底向上搭积木的设计方法和基于平台上下结合分而治之的设计方法3类.在此基础上,对各类方法的基本思想、描述语言、设计模型和关键技术等进行了分析与对比,并给出了该领域存在的研究问题及其今后的研究方向和重点.     

用SystemC进行SoC的系统级设计与仿真

IC技术已发展到SoC阶段,系统级设计、仿真和验证已成为IC设计面临的巨大挑战。SystemC是新兴的系统级设计语言,为复杂系统的设计与验证提供了解决方案。本文介绍SystemC的特点和使用方法,深入分析SystemC事务级验证的原理,给出事务级验证的实例,最后还分析SystemC的缺陷和前景。     

SoC体系结构中AMBA总线的系统级设计

建立系统级模型在SoC体系结构设计过程中的意义。AMBA片上总线和它的时序及基于AMBA的SoC体系结构。简要说明了SoC系统级设计中的各抽象层次模型和建模语言Sys-temC。并以AMBA系统总线AHB为例,介绍了如何使用SystemC建立其非时序模型的方法。     

基于SystemC的系统级设计方法

SystemC是一种完全基于C 的建模平台,它由一个C 类库和仿真内核组成。SystemC提供一个通用的系统设计环境,有利于进行软硬件联合设计。阐述了一种基于SystemC的系统级设计方法。     

面向SoC的系统级并行划分方法

为缩短复杂SoC系统的设计周期,降低系统设计的复杂性,提出了一种SoC系统级的并行划分方法.引入带有信号激活率和输入输出延时的过程模型图,为SoC系统构建模型.设计一启发式算法对该过程模型图进行并行划分,同时,该算法能解决有环图的划分问题.通过大量的实验证明,划分结果同要求吻合,说明该划分方法是可行、有效的.     

基于VHDL的系统规范语言的研究

将ＶＨＤＬ语言应用到嵌入式系统的设计提供支持是扩展ＶＨＤＬ对系统级设计支持的一种研究途径．本文考察了几个典型的对系统级设计提供支持的规范语言,它们都将ＶＨＤＬ集成到自己的设计方法之中．在此基础上,作者总结了支持系统级设计的规范语言的基本要素,指出将形式描述方法与ＶＨＤＬ相结合可提供一种更有效的设计支持工具．     

组合导航系统的系统级BIT设计

为提高某SINS／GPS组合导航系统的可靠性、维修性和测试性，针对该系统进行了系统级BIT测试需求分析，并在此基础上，应用系统级BIT测试性设计技术，设计并具体实现了该系统的系统级BIT。实验结果表明，所设计的系统级BIT完全满足该组合导航系统的测试需求。     

系统级硬件描述语言SpecC词法分析器设计与实现

随着硬件系统复杂性的提高,在更高的抽象层次--系统级进行软硬件协同设计成为一种趋势。SpecC语言是一种用来在系统级对硬件系统进行描述的系统级硬件描述语言。S pecC词法分析器作为SpecC综合器的基础模块,其性能是影响SpecC综合器性能的关键因素之一,而SpecC综合器是实现系统级设计综合自动化必不可少的硬件系统开发工具。本文在Linux环境下用C设计并实现了SpecC语言的一个词法分析器SpecCLexer。它能正确地对用户输入的SpecC源代码进行预处理和词法分析,并在源代码中出现词法错误时给给用户反馈错误信息。     

嵌入式系统规范语言

规范语言是整个嵌入式系统设计方法学的核心。归纳总结了嵌入式系统规范语言的发展过程,并针对当前嵌入式系统的发展趋势。说明了嵌入式系统规范和规范语言的设计需求,进而介绍比较了两种重要的基于C／C＋＋语言的新的规范语言SystemC和SpecC,最后阐述了基于C／C＋＋的规范语言的看法,并展望了未来规范语言的发展。     

动态系统描述语言的特性、设计和实现

介绍一种新型的动态系统描述语言,PDSDL.它比SystemC更加高效和灵活.(1)PDSDL使用了Python面向对象动态语言,(2)PDSDL创新性地提出了动态系统的概念.系统的建模、验证和综合全都依赖于运行时动态系统特性,而非传统的存储在非易失记忆体(例如文件)的静态描述.因此设计者能使用程序和高级人工智能方式来进行更高效的结构探索.本文的重点在于探讨动态系统描述语言的特性和实现机理.文末给出简要试验结果.     

纯SV语言搭建验证平台

面对日益复杂的芯片系统设计和IP的高度集成方式,验证的重要性日益增加。传统的验证主要依赖于直接测试,虽然直接测试平台也可以采用有限的随机方式,但是通常是通过产生随机数的方式来实现的,而不是在每个数据单元简单地写入预先设定的值。直接测试方法适合于小设计,但一个典型SoC设计需要上千个测试用例,耗时太长。因此提升验证产量的唯一方法是减少产生测试所消耗时间。基于SystemVerilog具有丰富语言能力、能描述复杂验证环境、产生带约束的随机激励、面向对象编程、功能覆盖率统计等诸多优点,因此可以采用SystemVerilog语言功能构建一个验证平台。搭建验证环境时,可以应用带约束随机激励产生方法以及覆盖率驱动来提高验证效率,缩短验证周期,平台在queastasim上进行了仿真验证,并取得了比较好的结果。     

图形处理器光照引擎的设计

以计算机图形学为基础,OpenGL API为设计规约,设计的三维图形处理器,具有较好的通用性。重点剖析了图形处理器光照引擎事务级模型的设计,该事务级模型采用SystemC编写,在VC++6.0下完成开发调试工作,为寄存器传输级的光照引擎IP软核开发奠定了良好的基础。     

集成电路设计的系统级描述语言SystemC

人们提出了软件硬件协同设计的设计方法,以克服传统的将软件和硬件分开的设计方法对于SOC的设计存在的缺陷。SyStenlC是顺应这种发展趋势而产生的系统级描述语言。它是一种通过类对象扩展和基于C／C 的建模平台,支持系统级软硬件协同设计、仿真、验证、软硬件协同设计的系统级描述语言。本文介绍了系统级描述语言SySternC在集成电路设计中的应用,讨论了基于SyStemC的集成电路设计的设计流程、设计优势及其发展趋势。     

贝叶斯网络在SoC事务级验证平台中的应用

在越来越复杂的SoC芯片设计过程中,功能验证已成为芯片设计周期中最主要的瓶颈;采用人工智能算法在功能覆盖率指导下自动生成随机激励的方法已成为该领域的研究热点;针对贝叶斯网络强大的不确定性概率推理和数据分析能力以及事务级验证平台的特点,采用贝叶斯网络来自动分析验证平台中的事务配置参数和功能覆盖率统计数据之问的不确定关系,提出了一种改进的功能覆盖率驱动验证平台;与传统的约束随机验证平台相比,能快速达到覆盖率目标,缩短验证周期.     

嵌入式系统模型驱动设计方法

提出基于模型驱动构架的嵌入式系统模型驱动设计方法．首先建立UMLforSystemC语言元模型，以扩充UML对硬件平台相关模型的描述能力；然后分析模型变换的映射规则；最后基于系统平台结构模型和软硬件划分提供模型变换实现．该方法能自动地生成不同实现的SystemC系统模型，以加速系统设计空间搜索效率。支持嵌入式系统的快速开发和验证．