HCDFG-Ⅱ-面向C语言系统描述的控制/数据流图表示

介绍了基于C语言系统描述的面向软硬件划分的一种中间表示——层次化控制／数据流图HCDFG—Ⅱ及其转换方法．HCDFG—Ⅱ根据C语言的特点对HCDFG进行了扩充,通过引入内存访问结点来表示和处理C程序中的数组及指针,通过定义并发结构来表示C程序中的可并发部分．同时,由于HCDFG—Ⅱ采用以控制流为主的结构,从c语言进行转换十分容易．这使得它能有效地作为C语言系统描述的中间表示,并为软硬件划分提供了更加精确的信息．     

SOC系统中C到VHDL的转换

近年来,SOC设计方法学的研究越来越引起人们的注意。C语言适合对系统进行高层次的描述。C语言的系统描述经过软硬件划分之后,要求将硬件实现部分转换为适合于综合的VHDL语言。文章通过分析两种语言的区别,提出并实现了适于表达C语言描述内容的VHDL结构形式,并对几种C语言结构提出合理的转换方案。实验表明,文章提出的方案是正确的和有效的。     

C到VHDL的编译器设计与实现

近年来,微电子技术和超大规模集成电路技术发展迅速,电子系统设计的系统复杂度和异构度都不断加大。软件在系统设计中所占比例也越来越大。C语言适合对系统进行高层次的描述,VHDL语言适合抽象的硬件描述。C语言的系统描述经过软硬件划分之后,必须将硬件实现部分转换为适合于综合的VHDL语言。本文通过比较两种语言的差别,提出并实现适合表达C语言描述内容的VHDL结构形式。实验表明,本文提出的方案是正确和有效的,并能降低系统设计的复杂度和异构度。     

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

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

C语言系统描述的HCDFG-Ⅱ实现

C语言是系统设计中一种主要的系统描述语言，在系统级软硬件协同验证及随后的软硬件划分、接口综合和行为综合等中都需要把C语言的系统描述转化为控制数据流图。本文介绍了一种层次化控制数据流图HCDFG-Ⅱ模型，以及从C语言生成该模型的方法。HCDFG-Ⅱ的层次化模型分为函数／进程级、语句级和操作级，根据需要可以生成不同级别的模型。本文讨论了C语言中各种控制结构及数组、指针、联合和结构等复杂数据类型生成HCDFG-Ⅱ的方法。     

基于过程级编程模型的软硬件协同设计框架

当前动态可重构计算系统对程序员编程不透明,且动态可重构资源难以有效利用。针对上述问题,提出一种基于过程级透明编程模型的软硬件协同设计框架。在该框架内,软件开发人员对软硬件协同函数库进行调用,即可用C语言完成系统功能描述。动态软硬件划分算法在程序运行时进行划分,自动选择并调度需要转换到软件或硬件的库函数,通过动态链接器实时切换函数的运行方式,实现由功能描述到系统实现的自动化流程。     

C＋＋目标对象的抽象与并发控制

C＋＋作为一种面向对象程序设计语言具有非常强大的功能。文章描述了C＋＋面向对象程序设计语言中实体描述（数据抽象）以及程序（进程）的并发控制。     

汉英翻译系统ICENT的中间语言设计

基于中间语言的翻译系统的关键是中间语言设计。文中介绍了汉英翻译系统ＩＣＥＮＴ 中间语言设计,实用的角度出发,在内容上权衡了语法和语义知识的比例,并根据汉英两种语言的特点,采用框架结构,通过描述词之间的语法关系来描述整个句子的结构,取得了比较满意的结果。     

一种同步语言多线程代码自动生成工具

随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用.同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证.目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成.提出一种同步语言SIGNAL多线程代码生成工具.首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码.通过在多核处理器上的实验,验证了所提方法的有效性.     

基于μC／OS-II的数码喷墨控制系统的设计与研究

选取Altera公司Cyclone II系列EP2C8Q208芯片作为新型高速数字喷墨印刷机控制系统的开发平台,以μC／OS-II作为印刷机控制的实时系统,通过Nios II 11．0 Eclipse,运用Nios II软核处理器技术来生成μC／OSII实时操作系统模块,通过系统编程来实现新型数字喷墨印刷机控制系统。通过软硬件测试,验证了该系统的稳定性和可操作性。     

基于抽象体系结构模板的多路软硬件划分算法

随着系统芯片技术在嵌入式系统中的应用，软硬件划分从传统的二划分问题转化为多划分问题．文中对此提出了一个由通信通道连接的处理单元网络的抽象模型来描述多处理模块结构，并利用模拟退火算法与启发式的调度算法分别完成多路软硬件划分与系统性能和代价的估算．初步的实验结果表明，该算法能有效地选择合适的体系结构，使系统的性能和代价得到优化．     

一种可行的自动程序理解途径

自动程序理解是软件工程和人工智能的非常活跃的研究领域，本文提出了一种独立于程序设计语言，具有明显结构性和流图结构的中间表示ｐｌａｎ来表示程序代码，本文首次提出了应用图文法分析技术于自动程序理解的方法，并给出了基于人工智能技术来进行自动程序理解的模型。     

面向对象语言的化学语义

提出了一种基于程序分析的代码查询技术,它能有效地应用于代码审查、程序自动插桩等常用的软件工程的研究场景。它通过代码静态分析获得程序元素信息,并将其保存为中间结构,作为代码查询过程的目标集合;查询过程以程序元素为目标,查询语言以谓词逻辑表达式的形式描述查询条件。基于此技术,实现了一个面向C/C++语言的代码查询工具。     

用于描述面向对象并发系统的实用图文法模型*

面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性，系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消．图文法模型比其他形式化工具更适合描述这种并发和动态的特性．这里我们介绍一个新的用于描述面向对象并发系统的图文法模型，在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——CSDL语言．在面向对象并发系统开发支持环境 的支持下，用CSDL语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制，     

C语言程序设计教程（英文版）

内容简介： 本书是一本优秀的C语言程序设计教材。作者通过问题—解答方式来介绍C语言,内容包括编程基础,变量、算术表示和输入／输出,C语言基础——数学函数和字符文件输入／输出,选择结构和循环,函数,数组,字符串和指针,结构和大型程序设计。书中既详细介绍了C语言程序设计的基础知识,又结合实际应用,给出了应用编程实例。每个应用编程实例都包含问题描述、算法、源代码、评注和修改练习。此外,每章末还包含适量的练习。     

SOC软硬件协同设计中多任务性能评估算法

在分析现有的性能评估方法之上,提出了用MTLS算法对软硬件划分结果进行性能评估,验证系统软硬件划分的优劣。并且针对单任务图描述多CPU系统结构的不足,提出采用多任务图来描述的方法。首先搭建了软硬件协同设计的平台并描述了软硬件协同设计的流程,其次对目标系统进行形式化的描述,最后重点阐述了多任务图的MTLS性能评估算法,并与MD,HNF,HLHET三种算法进行了比较。实验结果表明,提出的MTLS算法比其他三种算法优越。     

并发过程及其软件的建模与模拟支持系统

模拟是对复杂系统进行分析研究和试验评估的一种重要手段和方法。本文针对具有并发实体或过程的实际系统和并发软件提出用实体—资源模型描述其主动和被动实体,用同步—通讯模型描述实体间的联系。并基于这种模型设计了一种以C~(++)为基础的面向问题的模拟语言。该语言以构件方式支持模拟程序的编制。对C~(++)语言扩充了描述并发成分的机构,并以此为基础设计了模拟的运行控制机构,用以支持进程方式的系统模拟。这种系统可用于对事件驱动型并发过程或并发软件进行分析设计和方案评估。用C语言编程时,允许直接利用模拟程序逐步求精,最终以实际程序取代,因此也可用作设计、开发并发软件的一种原型方法和工具。     

CIG-EM:一种面向通信综合的通信信息图提取方法

提出通信信息图提取方法CIG-EM,实现了从系统行为级模型到通信信息图（CIG）模型提取的自动设计流程,以帮助系统设计人员在系统设计的早期设计高效的片上通信体系结构. CIG-EM采用层次化控制/数据流图（HCDFG）模型作为系统的内部表示模型,并建立了从系统描述到CIG模型提取的整个设计流程;引入HCDFG模型的扩展M-HCDFG模型表示函数-功能单元和变量-存储器的映射信息,简化了CIG模型提取的过程;提出了3种模型HCDFG,M-HCDFG和CIG之间的转换算法,实现了其自动转换. CIG-EM能够平滑系统设计流程,减少设计周期.利用JPEG解码程序表明CIG-EM方法的正确性和有效性.     

IFS与L系统的统一描述语言及其分类

为了更高效地表示分形图形,依据形式语言的文法结构及正则表达式的文法规则,通过引入代数运算,提出了一个能够对L系统和迭代函数系统(IFS)统一描述的语言代数系统。根据语言代数系统产生式的文法规则,将此系统的产生式集划分为五类。结合分形理论,此语言代数系统着重将DOL系统、迭代函数系统(IFS)、带凝聚集迭代函数系统(凝聚IFS)、随机迭代函数系统(IFSP)和再归迭代函数系统(RIFS)等进行描述,同时用此系统的正则表达式方程解将分形吸引子进行代数表示,并给出一些实例。通过实例表明,分形图形可以用该语言代数系统简单、明了、高效地表示。