基于SystemC的SoC行为级软硬件协同设计

针对目前SoC设计中存在的软硬件协同验证的时间瓶颈问题,提出了一种使用系统建模语言SystemC对SoC进行总线周期精确行为级建模的方法,采用该方法构建SoC芯片总线周期精确行为级模型进行前期验证。该模型基于32位RISC构建,并可配置其它硬件模块。实验结果表明:模型完全仿真实际硬件电路,所有的接口信号在系统时钟的任一时刻被监测和分析,很大程度地提高了仿真速度,并且可以在前期作系统的软硬件协同仿真和验证,有效地缩短了目前SoC芯片设计中在RTL级作软硬件协同仿真验证时的时间开销。

基于SystemC的SoC系统级设计方法

随着嵌入式系统的发展,片上系统(SoC)设计已经成为集成电路设计的发展方向.SoC设计的复杂性对集成电路设计的各个层次,特别是对系统级芯片设计层次带来了新挑战.SystemC是一种完全基于C++的系统级建模语言,它同时支持RTL级、行为级和系统级描述.本文介绍了SystemC的特点和系统设计环境,有利于进行SoC系统级设计,并阐述了一种基于SystemC的系统级设计方法.

SoC中基于OCP-SystemC的虚部件库设计研究

在传统的软硬件协同设计中,硬件采用的是RTL描述(用硬件描述语言HDL描述),而软件通常采用C或者C++语言进行描述,这种语言描述的不一致会加大协同验证仿真的难度,从而导致系统设计过程的反复。文章提出了一种基于OCP-SystemC的虚部件库设计方法,将其应用在设计实现的SOC-CDE软硬件协同设计环境中。在虚部件库设计中,使用SystemC来描述虚部件的功能(行为),同时采用OCP协议对虚部件进行接口和性能方面的封装,以满足利用软硬件划分的结果所构建的虚部件级SoC系统仿真与评价的需要。

基于Petri网和systemC的SoC系统描述

针对Petri网自带信息不足、硬件描述能力弱以及systemC无可视性等缺陷,将Petri网与systemC相结合来进行系统级建模。通过分析Petri网和systemC的相似点,建立Petri网和systemC的映射关系,以便于将Petri网描述的系统模型转化为systemC代码。同时,使用层次建模的方法防止状态爆炸。通过以上方式建立系统级模型,描述片上系统(SoC)嵌入式系统软硬件状态,作为可执行的系统级描述。

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

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

SoC及其IP核的设计与其在通信中的应用研究

提出现代集成电路技术中的SoC及其IP核的设计方法,在分析SoC的特点及其IP核的基本特征的基础上,给出了系统级设计软件、IP核开发流程和关键技术,并将其应用于NGN中综合业务接入系统的具有自主知识产权的集成电路设计中.

基于随机测试的SoC系统级功能验证方法的研究

为了克服 RTL 级验证方法的局限性,提出了采用随机测试向量在 SoC 的系统级进行功能验证的方法。该方法采用高级建模语言来构建系统级的测试平台,采用多种随机化机制来生成测试向量。测试结果表明,该方法不仅能够获得较好的功能覆盖率,而且能够尽可能早地发现 SoC 设计中的功能性错误。

SoC系统的并行性分析及划分

根据SoC发展的趋势,提出了将并行划分技术运用到SoC设计过程中的策略.对SoC系统进行并行性分析,设计了一种SoC系统级的并行划分算法.该算法建立在贪心算法的基础上,并改进了贪心算法的负载不平衡现象.实验表明,在SoC系统中运用并行技术能有效地缩短执行时间.

基于AMBA总线USB控制器的SOC设计与验证

随着移动终端对USB接口的支持,USB设备的小体积和低功耗成为设计的两大目标,USB设备的SOC设计很好地满足了这两方面要求。如何选择可复用IP、总线连接和对各IP模块进行系统级验证是SOC设计的核心,同时USB协议自身实现和测试的复杂性,这些都是芯片设计成败的关键。本文通过一个基于ARM TDMI IP与USB1.1控制器IP的SOC设计与实现,阐述了多IPSOC的一般设计方法,同时给出了USB控制器的验证及调试方法。

基于UVM的SoC系统级外设验证平台设计

SoC芯片集成了众多外设接口,其外设的系统级验证工作已成为SoC芯片开发的瓶颈之一。本文在分析了SoC外设验证的特点与需求的基础上,提出了一种基于UVM验证方法学的SoC系统级外设验证平台.该验证平台支持UVM环境与软件程序的握手以及软件程序的调试信息打印。以I2C接口模块的系统级验证为例进一步介绍了该平台的搭建和用例开发,实践表明,所提出的验证平台易于搭建,切合SoC外设验证的特点和需求,能够成功地完成外设模块的SoC系统级验证,可有力支撑SoC整体验证工作的开展。

蓝牙链路管理的系统级SOC设计方法

提出了事务级面向对象的设计流程TLOOF(Transaction Level Object Oriented Framework),强调高层次的设计和验证,并使用面向对象的Petri网和实时UML相结合的方法,用SystemC对系统的行为建模.将TLOOF应用于蓝牙芯片的设计中,蓝牙行为模型由链路管理器和链路控制组成,映射为CPU、内存、片上总线、链路控制等体系结构模块.建立了蓝牙链路连接的OOPN模型并描述了事务级模型的类图,完成了系统的仿真.仿真结果表明,该片上系统(SOC)设计方法可以很好地对蓝牙系统建模.

SOC的关键技术和设计方法

本文主要介绍了SOC的发展与前景 ,并且对其中的一些关键技术作了详细的说明。最后对SOC的主要应用以及 2 1世纪硅电子学的发展作了简要的介绍。

基于SystemC的周期精确事务级AMBA总线建模

采用系统建模语言SystemC建立了周期精确的事务级AMBA总线模型,并利用该模型对蓝牙模块间的通信过程进行仿真.AMBA总线模型采用SystemC 2.0的接口、端口和通道的概念,运行时使用SystemC自带的仿真内核.实验结果表明:本模型完全符合AMBA2.0规范和蓝牙协议规范,实现了在SoC设计前期的高层仿真和验证.

浅谈SoC模块级与系统级的验证

SoC芯片通常包含有复杂的数据通路,对复杂的数据通路的验证非常具有挑战性。无线通信SoC中包括很多功能模块,为了验证其复杂的数据通路的正确性,需要对每个功能模块进行模块级的验证。由于SoC验证已经成为整个流程中的重心,所以努力研发新的验证方法及设备,不断完善SoC验证计划和平台是当前的主要任务。以SD控制器和芯片系统(SoC)为例,探讨SoC模块级和系统级的验证,先确定验证策略并编写测试计划,再创建测试平台,最后对复杂的数据进行测试。

Crossbar总线与共享总线相结合的SoC系统级通信综合方法研究

提出了一种Crossbar总线与共享总线相结合的SoC系统级通信综合方法.从实际应用的系统级设计出发,根据待互连处理单元和存储单元之间的通信量,综合出Crossbar总线与共享总线相结合的总线拓扑结构.采用遗传算法,以实际应用的通信延迟为约束,考虑总线竞争、通信同步带来的通信延迟,综合出满足延迟约束的总线参数.对综合后的Crossbar总线与共享总线进行事务级建模和分析,进一步优化生成的总线拓扑结构.实验证明,该方法解决的问题较以往更加全面,生成的总线拓扑结构和参数更优.

一款高端数字SOC设计的系统级验证

集成电路行业的发展,为SOC设计积累了丰富的IP库和设计方法。采用系统设计常用的基于平台的方法,可以快速完成系统的集成。但要完成对整个系统的验证,可能要占到整个设计周期70%以上的时间。而验证的方法是具有多样性的。该文以一款高端SOC的设计经历,简单描述了系统级验证过程,并以同步串联接口模块为例详细介绍了在系统级对RTL和门级网表的验证,以及验证所采用的特殊方法。

系统级芯片设计与System C

随着集成电路制造技术的迅速发展,SOC设计已经成为当今集成电路设计的发展方向。SOC设计的复杂性对集成电路设计的各个层次,特别是对系统级芯片设计层次,带来了新的挑战。文章主要介绍了系统级芯片设计的理论以及这方面的最新研究成果——SystemC。

SoC芯片关键测试技术综述

逐渐增大的集成度使得SoC芯片测试面临诸多新挑战。首先,概述了SoC芯片关键测试技术的国内外研究现状;然后,从SoC芯片系统级验证、SoC芯片高速信号测试和测试优化3个部分介绍了当前业界降低测试成本、提高芯片产品可靠性的关键技术手段;最后,展望了SoC芯片测试技术的发展方向。

SOC技术及系统级低功耗设计

介绍了SOC设计中的IP核可复用技术、软硬件协同设计技术、SOC验证技术、可测性设计技术以及低功耗设计技术。对SOC低功耗设计中的瞬态功耗优化、平均功耗优化以及功耗的物理来源、电容充放电功耗、短路功耗、静电漏电功耗进行了分析。并对典型SOC设计中采取降低芯片和封装电容、降低电源电压,达到降低功耗的技术进行了研究。最后对系统级功耗设计中的电源系统低功耗设计、工作系统低功耗设计进行了探讨。

论SOC芯片的系统级测试

随着市场对电子产品应用的多样化、复杂化以及对性能的高要求,SOC芯片结构也越来越复杂,从而芯片的测试难度、效率、覆盖率也面临着巨大的挑战,本文将结合多年本领域的工作经验,针对芯片系统级测试的一些测试必要性、方法进行阐述。