面向SoC的系统级设计语言

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

SoC系统级描述语言SpecC

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

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

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

ODP系统中的观点及观点规范语言

开放分布式处理ＯＤＰ的目标是给应用程序间提供一个一致的接口模型，以实现分布透明性、互操作性和可移植性。开放分布式参考模型ＩＳＯ ＲＭ－ＯＤＰ提供了一个分布式系统的框架，从五个不同的观点描述ＯＤＰ系统，并提出相应的规范语言的概念和构造规则以便对该观点进行描述，本文首先介绍了这五种观点及相应的规范语言的概念和构造规则，并讨论了它们之间的关系。     

基于FPGA嵌入式系统的研究与应用

针对FPGA自身用户可编程的特性,分析了FPGA嵌入式系统的优势和应用领域,研究了利用FPGA实现嵌入式系统的基本原理和设计方法,重点探讨了其结构的转换难点.通过具体应用,分析了乘法累加驱动滤波器的实现原理和处理过程,设计了FPGA嵌入式系统的具体实现方式.     

基于SystemC的嵌入式系统设计

本文提出了一种基于SystemC的嵌入式系统设计方法，SystemC是OSCI（Open SystemC Initiative)组织制定和维护的一种开放源代码的C＋＋建模平台，提供支持硬件建模和仿真的C＋＋类库及相应的仿真内核，SystemC消除了一直存在于系统级设计和硬件设计之间的语言隔阂，支持在整个嵌入式系统设计流程内使用C＋＋来统一描述硬件和软件，基于C＋＋的系统功能定义能够方便有效地映为硬件实现部分和软件实现部分，该方法同传统的设计方法相比更加灵活和有效。     

软硬件混成模块化SoC集成方法

针对现有SoC软硬件协同设计方法学模块复用率低、软硬件整合困难,提出了有利于设计团队管理和任务划分的软硬件混成模块化集成思想,并结合国产微处理器给出了SoC三阶段集成方法.给出了具体的设计阶段划分及任务,设计团队知识结构和任务调度的基本方法,以及EDA工具链实例.该集成方法已通过逻辑仿真与物理仿真的验证.     

一种基于RapidIO接口的嵌入式系统

针对嵌入式系统的高速通信需求,提出一种基于RapidIO接口的嵌入式系统,该方案以Xilinx的FPGA以及PowerPC嵌入式CPU为平台,建立RapidIO IP核与嵌入式系统的硬件和软件接口,对其功能进行验证.给出硬件结构图及关键部分的设计思路.采用逻辑仿真与物理仿真证明了方案的有效性.     

嵌入式应用软件设计方法学研究综述

嵌入式系统的资源（CPU、存储器等)有限,具有专用性(很多硬件设备根据应用定制),要求实时处理,因此嵌入式应用软件设计方法学必须满足这些特性。本文对嵌入式应用软件设计方法学进行了综合研究(包括结构化的软件设计方法学、面向对象的软件设计方法学和基于构件的软件设计方法学),讨论了各种方法学的特点及其适用场合,总结了嵌入式应用软件设计方法学的发展规律,指出了未来的发展方向。     

主从式片上总线系统交易级的实现

在总线的主设备上增设了实时操作系统的任务优先级分配机制,基于蒙特卡罗选择实现总线仲裁器的仲裁策略,建立不同类型的从设备存储器模型。运用SystemC在交易级实现整个总线系统模型,并对该模型进行仿真。实验结果证实了仲裁算法的有效性。     

本体表示语言研究综述

随着Semantic Web的出现,本体作为人工智能领域中知识的核心已经越来越受到研究者的重视。特别是近十年来,涌现出许许多多本体表示语言,为本体的开发和研究提供了有力的帮助。本文主要介绍了传统的本体语言以及目前常用于万维网的本体语言的特点,并从表达和推理能力等方面对各种本体表示语言进行了分析和比较。在此基础上,总结出本体语言应用的一些规律,对于在开发工作中选择合适的本体语言具有一定的参考价值。     

可视化语言文法形式化描述综述

可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。     

Expressive Power of Specification Languages

By abstracting away from a particular specification language and considering a ‘specification’ to be just a set of implementations, one can define a partial order on specification languages that reflects their expressive power. In addition, one can show that there is no universal specification language that can express all such ‘specifications’. Received August 1996 / Accepted in revised form April 1998     

面向SoC的系统级设计语言

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

基于UML的SoC建模设计方法研究

随着集成电路制造工艺的发展,嵌入式计算机应用向着SoC的方向发展。为了适应制造工艺对SoC设计能力的要求,提高SoC的设计效率,成为了很紧迫的必要任务。采用统一的SoC系统级建模语言SystemC、软/硬件协同设计技术、基于IP核复用等技术的SoC设计流程,在一定程度上满足了SoC设计要求。在现有SoC设计流程基础上,结合UML的模型驱动框架（MDA）设计方法,在当前的SoC设计流程的系统需求规约描述、硬件实时反应式系统建模、软件模块设计实现中采用UML针对SoC的轻量型扩展特性,可以很大程度地改进提高SoC的设计流程效率。     

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

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

嵌入式系统描述与验证环境的实现

首先,用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态,活动图表示状态图中每个进程的功能,对象约束语言(OCL)描述系统中的约束条件;然后,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码,以完成系统的模拟验证;并介绍了该方法的一个应用实例。     

使用SystemC验证库进行随机验证

SystemC是一种适用于SoC顶层设计的新型硬件设计语言,SystemC验证库是SystemC标准库的一个增补库,用以增强SystemC在SoC顶层验证的能力,本文对SystemC及其验证库进行了简要介绍,重点说明了如何使用SystemC验证库进行随机测试.     

Specification and design of shared resource arbitration

The specification, modular design and verification of distributed communicating systems is demonstrated by an example. The scheduling of the access to a common shared resource by a finite number of devices with priorities is a well known problem from hardware and operating systems design. Using the concepts of stream processing continuous function a variety of formal requirement and design specifications for this problem are given and the design specifications are proven correct w.r.t the requirement specifications. From the design specifications one can immediately read off applicative programs implementing the requirement specifications. Special attention is paid to the aspect of modelling time.