基于SystemC的事务级建模研究

探讨了基于SystemC的事务级建模方法,并结合SoC片上总线,以DVB-C数字电视机顶盒给出建模实例.基于SystemC的SoC总线模型有效克服了SoC软硬件协同设计的时间瓶颈问题,提高了开发效率,缩短了产品的开发周期.目前该系统正处于板级调试过程中.     

新版VERDI侦错软件

SpringSoft今天宣布VerdiTM自动化侦错系统开始完全支持Universal Verification Methodology(UVM)。Verdi软件在既有的HDL侦错平台上新增全新的UVM源代码与交易级(Transaction Level)信息纪录功能,让工程师们能将复杂的System Verilog testbench结构具体化,以便轻松地进行先进系统芯片(SoC)测试的侦错工作。     

SOC设计需从ESL开始 ——CoWare公司在华举办ESL设计研讨会

电子系统级设计(ESL,Electronic System Level)就是在一定的抽象层次用足够快速的方法来描述SoC系统,给软硬件工程师提供一个虚拟平台,用以进行硬件系统架构的探索和嵌入式软件程序的开发.……     

基于SystemC的系统级芯片设计方法研究

在分析当前系统级芯片设计方法的基础上，提出了目前新型系统级IC设计语言SystemC及其平台的设计思想及设计流程，并以具体项目RS编码器来实现和验证。实验结果表明，SystemC是一种很好的软硬件联合设计语言，它不仅可以帮助设计人员完成一个复杂的系统设计，还可以避免传统设计中的各种弊端，并提高设计效率。当然，如何更好地利用SystemC设计也将是EDA领域当前探索的一个重要方向。     

基于SystemC的AMBA总线模型的构建与验证

针对SoC设计中的时间瓶颈，利用SystemC设计语言根据AMBA规范建立了事务级总线模型，并将MP3解码器和控制器作为主设备接入该模型，验证本模型的可用性与有效性，试验结果表明该模型可以有效地在系统层次对SoC芯片的集成进行设计验证，加快SoC系统的设计速度，且能做到时钟精确。     

基于SystemC和Cocentric System Studio设计平台的SoC设计

SystemC是一种基于C 的新型的描述语言.基于SystemC的软硬件协同设计比传统设计方法更加灵活.Cocentric System Studio(CCSS)是Synopsys公司推出的基于SystemC的系统开发和模拟工具.本文讨论了利用CCSS平台和SystemC语言进行设计、仿真和调试的方法.     

SystemC在现代通信ASIC设计中的应用

SystemC作为一种新兴的SoC设计语言,正在成为现代通信ASIC设计的重要工具之一。文章对SystemC以及它在通信ASIC设计中的应用从算法级和系统结构级两个方面进行了研究,主要内容包括应用SystemC进行通信ASIC算法的定点性能分析和算法优化,对SystemC实现的算法模型进行时序封装,进行系统结构级仿真验证的方法。研究表明,使用SystemC进行通信ASIC算法和系统结构的设计验证．能够大大提高现代通信ASIC设计的工作效率和产品质量。     

AVS解码器基于SystemC的实现

介绍了AVS视频编解码标准的关键技术和新一代硬件设计语言SystemC的特点以及利用SystemC进行软硬件协同设计的方法，并在此基础上介绍了AVS视频解码器基于SystemC的设计和实现。     

新版VERDI侦错软件

SpringSoft今天宣布VerdiTM自动化侦错系统开始完全支持Universal Verification Methodology（UVM）。Verdi软件在既有的HDL侦错平台上新增全新的UVM源代码与交易级（Transaction Level）信息纪录功能,让工程师们能将复杂的System Verilog testbench结构具体化,以便轻松地进行先进系统芯片（SoC）测试的侦错工作。     

应用SystemC的AMBA总线系统级模型的设计与实现

对SystemC进行系统级通信结构建模的语言元素进行了深入的研究,并以一个基于AMBA总线的典型SoC为例进行了通信结构的建模.从设计的顶层开始,应用SystemC语言提供的建模能力,采用通信结构细化方法对系统级总线模块进行了细化,针对设计流程中需要将系统级模型转换为可综合的RTL级模型的问题,给出了将系统级总线通信模块转换为SystemCRTL模型的解决方法.由此,建立了完整的应用SystemC的系统级通信结构的建模方法.     

基于SPARC V8的事务级SoC验证平台设计

针对片上系统SoC架构设计和嵌入式软件开发的需求,采用事务级建模方法使用SystemC完成了基于SPARC V8的事务级SoC验证平台的设计.为降低设计复杂度和提高仿真速度,基于解释-执行技术完成SPARC V8处理器指令精确事务级模型建模,并利用SystemC中的分层通道机制完成AMAB总线、中断控制器、UART、定时器等设备的事务级建模.完成事务级SoC验证平台的构建后,使用测试基准程序组Mibench对该验证平台的功能和仿真速度进行了验证.仿真结果证明了其功能正确,并且仿真速度相对于RTL SoC验证平台有大幅度的提高.     

一种多处理器原型及其系统芯片设计方法

 随着嵌入式应用快速发展,系统芯片(SoC)设计日趋复杂.高效可靠的设计多处理器系统芯片逐渐成为一个巨大挑战.本文提出一种多处理器原型及其SoC设计方法,将多处理器及其通信统一建模于一个多层次、灵活和可配的软硬件原型中,通过分层次、从高层抽象到底层实现逐步深入的方法解决软硬件接口验证问题和完善软硬件架构.H.264解码实验证明多处理器原型功能可行性和物理可实现性.基于该原型的多层次细化方法可有效确保SoC软硬件设计的正确性,并有助于软硬件结构协同设计优化.     

SoC系统描述与SystemC

随着VLSI工艺技术的发展，为了缩短开发周期，提高设计的可预见性，SoC设计已经成为迫切需求。本文将比较C 、VHDL和SystemC，说明SystemC是一种非常好的系统描述语言。同时利用C 和VHDL的语法来深入介绍SystemC的语法。     

使用SystemC设计片上自演化系统

提出片上自演化系统的概念和基于SystemC的片上自演化系统设计方法,给出片上自演化系统的总体结构,使用SystemC建模搭建自演化系统实验平台.以典型低通切比雪夫滤波器为例,验证了实验平台的有效性.使用SystemC设计自演化系统既可在较高的抽象水平搭建自演化系统模型,加速验证、性能分析和探索系统结构,又可方便地进行软硬件协同设计,并最终达到硬件实现.     

针对SoC的软硬件联合仿真方法

片上系统(System on Chip,SoC)是芯片设计的发展趋势,仿真与验证是芯片设计中最复杂、最耗时的环节之一。基于传统的数字电路验证方式对SoC设计验证效率低下的问题,提出了一种低耦合度的软/硬件联合仿真方法。软件调试过程的打印信息语句被微处理器仿真模型执行时,将向通用输入输出(General Purpose Input/Output,GPIO)输出相应的字符串,监视器模块检测GPIO的输出,并还原字符串信息,构建了软/硬件联合仿真。SoC设计实践证明,该方法大大减少了仿真的工作量,是一种非常实用有效的SoC仿真方法。     

电子系统级(ESL)设计:越早开始越好

功能更繁杂的设计需求,更短的上市时间,国际市场竞争的加剧,不断增加的成本压力使高质量的电子系统设计变得越来越复杂和困难,而这种趋势看起来还在加速.从应用概念到硅片实现的过程已经不能仅仅靠工程师聪明的大脑来完成,而更需要依赖于严格完善的设计方法学.电子系统级(ESL,Electronic System Level)设计正在从学术研究的课题变成业界广为接受的建模手段,它完成从理想应用优化到目标体系结构建立.而后依据预期产量规模的不同,用SoC芯片或可编程平台实现.近来,电子系统级设计建模手段和它在设计过程中的典型作用已经逐步被系统设计行业机构统一为SystemC的抽象描述.     

基于ARM7TDMI的SoC芯片的FPGA验证平台设计

针对片上系统(SoC)开发周期较长和现场可编程门阵列(FPGA)可重用的特点,设计了基于ARM7TDMI处理器核的SoC的FPGA验证平台,介绍了怎样利用该平台进行软硬件协同设计、IP核验证、底层硬件驱动和实时操作系统设计验证.使用该平台通过软硬件协同设计,能够加快SoC系统的开发.整个系统原理清晰,结构简单,扩展灵活、方便.     

系统芯片的关键技术及发展方向

系统芯片,即(SoC),将包含处理器、存储器和片上逻辑等的一个系统集成在单一的芯片上。SoC所特有的功能强、速度高、体积小、成本低、功耗低等优点使得其技术不断发展,应用越来越广泛。文章首先探讨了系统芯片(SoC)的特点及分类,接着详细阐述了开发SoC所需IP核设计与复用、软硬件协同设计、软硬件协同设计等关键技术。分析了基于平台设计方法的优点,并介绍了SoC的一体化测试流程、共时测试等SoC测试新技术。     

片上网络的SystemC建模研究

为了实现软硬件协同设计和提高仿真速度的需求,采用SystemC语言的建模方法,通过对片上网络体系结构的研究,提出了一种片上网络的建模方案,并对一个mesh结构完成了SystemC的建模设计。该模型可在系统级和寄存器传输级上使用同一个测试平台,且具有仿真速度快的特点,达到了设计要求。     

片上系统的模型检验

片上系统(SoC)的验证是一个比较复杂的问题，仅靠模拟仿真无法保证SoC设计的正确。形式化方法是利用数学推理的方法来证明其正确．是对SoC设计进行验证的一条重要途径。模型检验技术是一种完全自动化的形式化方法，针对模型检验技术，讨论了在SoC验证中的应用，指出在SoC设计中，只有把模拟仿真与形式化、半形式化的方法结合起来，才能更好的对SoC进行验证。