一种基于SystemC属性检查的验证方法

当今复杂电子系统倾向于在更高抽象级进行建模,一种基于C/C++的硬件描述语言,SystemC语言变得非常重要.在此探讨了一种基于SystemC属性检查的仿真验证方法.针对电路系统的线性时态逻辑属性,定义了属性表达的基本形式,并用SystemC代码描述系统属性,在仿真中检查系统属性从而达到验证目的.首先介绍SystemC语言及一种基于SystemC的属性检查方法,讨论了现有方法的不足之处,并给出了两种改进方案,最后通过实验证实该方案的有效性,同时实验表明该改进方案在仿真性能上有很大的提高.     

软硬件协同设计语言System C在SoC设计中的应用

软硬件协同设计是未来VLSI设计的发展趋势.作为新的系统级VLSI设计标准,System C是一种通过类对象扩展的基于C/C++建模平台,支持系统级软硬件协同设计、仿真和验证.文章讨论了SystemC复杂芯片设计中的设计流程、设计优势,并给出具体设计实例.     

SystemC在Turbo码实现和验证中的应用

在简述System C的设计方法和流程的基础上,针对SystemC在硬件芯片系统级设计和寄存器传输级设计的特点,以Turbo编码器为对象和开发目的,研究了SystemC基于寄存器传输级设计的可实现性,利用SystemC的模块化功能,通过分析Turbo编码器的结构与信号流图,进行建模仿真直到最后完成划分硬件模块与编程并在FPGA完成其实现与验证,充分证明了SystemC完全适用于基于寄存器传输级设计的IC应用.此外,此设计将系统级设计与寄存器传输级设计的工作合二为一,大大节省了开发的流程时间.     

Vista在SystemC模型中的调试分析方法

ESL建模的主要语言是SystemC。虽然SystemC是C＋＋的一个类库,但其许多硬件特性在常用的C＋＋IDE中无法全部体现,这为调试分析ESL模型带来了很大的困难。而MentorVista针对SystemC的硬件特性,带有很多硬件特性的调试功能,从硬件的角度去调度分析SystemC模型,明显的减少程序的调试时间,并且能直观的观测分析仿真结果,从而带来效率上的提升,为ESL模型正确性提供了有力保障。     

基于SystemC的片上系统设计

文章提出了基于SystemC的片上系统设计方法.本设计方法引入SystemC,消除了一直存在于系统级设计和硬件设计之间的语言隔阂,基于SystemC进行的系统功能定义能够方便有效地映射为硬件实现部分和软件实现部分,大大地提高了SOC时代集成电路设计效率.     

一种基于SystemC的D触发器验证平台研究

当今复杂电子系统更倾向于在更高抽象级进行建模一种基于C/C＋＋的硬件描述语言,SystemC语言变得非常重要,在此介绍了SystemC语言的验证库,以及验证库的顶层设计,接口设计。文章在最后的阶段对D触发器进行了基于SystemC的验证平台搭建,进而展现了SystemC在验证上的优势。     

SOC设计的软硬件协同验证研究

软硬件协同验证是SOC的核心技术.通过分析SOC验证方法与软硬件协同验证技术,提出C与平台相合的协同验证方法.该方法是在系统级用SystemC确定SOC系统的体系框架、存储量大小、接口IO与验证软件算法的可行性、有效性、可靠性.在硬件设计中,利用验证可重用的硬IP和软IP快速建立SOC系统,并把核心IP集成嵌入进SOC系统中.在软件设计中,利用成熟的操作系统与应用系统来仿真验证SOC芯片的功能与性能.该方法应用于一个基于ARM7TDMI的SOC设计,大大缩短了验证时间,提高了验证效率与质量.     

由C++到Verilog实现数字逻辑设计的方法

通过介绍C++语言配合VerilogHDL来进行数字逻辑设计的模式,提出了一种由C++到Verilog来实现逻辑设计的崭新方法此方法从系统设计(虚拟机)入手,用C++来搭建所需要的系统模型,再由Verilog与C++的一致性转化,将软件设计精确地转化到硬件级上,使得逻辑设计向上可进行软硬件的联合仿真,向下能够实现物理级延伸通过该方法可有效地避免SOC设计中从系统到物理实现在转化过程中产生的逻辑不一致在简叙C++的语言特性后,将Verilog与C++进行了对比分析,给出了两种语言之间进行转化设计的实现方式结合数字信号处理器的设计,对此方法进行了设计应用,最终通过比对C++与Verilog两者的仿真数据文件,对两种层次系统描述进行了测试验证     

“e”语言一种新的高级数字系统验证语言

近二十年来，数字设计自动化环境随着设计复杂程度的提高经历了许多个发展阶段。近年来先后出现了“SystemVerilog”、“SystemC”、“e”等语言和行为综合器，它们把高度复杂SOC数字系统设计的验证和综合的自动化程度又大大提升了一步。本文综述了这几种高级硬件设计仿真语言，着重介绍“e”语言在验证通信用SOC芯片模型性能时的高效率。     

可重用AVS芯片结构软硬件协同设计

根据软硬件设计思想设计一个结构划分合理的可重用的AVS视频解码器结构.通过ARM平台软件移植,然后使用ARM ESL工具对系统模块性能进行整体评估,然后根据评估结果以及硬件实现复杂度进行软硬件结构的划分,定制软硬件模块接口,从硬件扩展考虑把硬件部分设计为与H.264解码器兼容并用SystemC模拟,最后在SOC Designer 平台做协同验证及仿真.     

一种基于SystemC的软硬件协同设计方法

随着集成电路工艺的飞速发展,传统的设计方法已不能满足设计高集成度的复杂数字系统的要求。软硬件协同设计成为嵌入式系统设计的新方法。SystemC是一种兼容C++的系统建模语言,它同时支持RTL级、行为级和系统级描述,使其成为软硬件协同设计平台的基础。     

SystemC中一类特殊线程与状态机研究

作为一种系统建模语言,SystemC支持各个抽象级别的硬件描述以及软硬件协同设计和验证。在SystemC中定义了一类特殊的线程称为钟控线程,虽然是行为级描述,却是面向综合优化的。该类线程最适合描述一种隐式的有限状态机。本文描述了该类线程的特点,并以一个总线控制器的设计为例,比较了隐式有限状态机相对于一般显式有限状态机的优点。     

SystemC:一种新的系统建模语言

文章介绍了一种国外正在研究的新的系统建模语言SystemC，因其较好地结合了面向对象的设计方法和硬件建模的特点，从而有望解决系统建模和HW／SW协同设计中等一系列问题。     

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

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

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

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