语言研究的高层次探索——读于全有教授新著《语言本质理论的哲学重建》

文章着重从三个方面评价了于全有教授新著的语言学专著《语言本质理论的哲学重建》。一是抓住了语言学的根本问题,探讨了语言的本质问题;二是于著庞征博引,梳理详细,用力甚勤;三是能够深入引发我们对语言的深层次思考,尤其是对如何改进语言学教学的深度思考。

立足语言实践 培养学生高层次思维品质

学生思想的表达和交流是借助语言来实现的,思维有赖于内部语言的活跃、丰富而不断发展,它的发展又能促进语言能力的提高。本文通过对中学生语文课堂中思维和语言能力发展不同步的现象提出了一些对策,以此促进学生的语言与思维的协同发展。

扩展的高层次行为描述内部模型

随着片上系统(SOC)技术的发展,越来越多的功能模块被集成到单一芯片中。适合硬件描述的HDL语言很难满足实现复杂算法功能的要求,C++等高级语言可以高效地描述算法功能,但是在综合和验证时遇到很大困难。文章介绍了一种允许使用C和VHDL独立描述原始模块,通过创建统一内部模型IIR的办法实现对功能元件和算法模块的混合处理。IIR内部模型以XML文件格式作为外部存储,能够方便地被划分、综合、验证等处理程序使用,避免了重复的原始描述文件分析,提高了研发效率。

基于ANTLR工具的高层次综合方法实现

随着集成电路制造工艺技术和功能复杂性的不断发展,传统的I C设计方法已经很难满足越来越短的上市时间的需求,为了解决这一问题,研究人员趋于研发更加新颖高效的设计方法,如高层次综合方法。而其中算子设计方法是最有发展前景的解决方案之一。在本文中,ANTLR工具被应用于从C语言到高层次算子语言的转换,转换过程主要由四个部分组成,即词法分析,语法分析,AST分析和模板映射。通过对C语言的不同语法功能和语句结构的分析,运用ANTLR工具将C语言到高层次算子语言的转换成功完成并加以改善。此外,该方法也对进一步的高层次综合研究提供了良好的指导。

数字系统的高层次综合

数字系统高层次综合是指从抽象的行为特性描述到寄存器传输级结构描述的转换。它是一种实用的、有效的数字系统设计方法。本文介绍数字系统的表示,并概括叙述高层次综合的主要任务、高层次综合技术的发展和现状以及存在的一些问题。

试论听说能力的高层次建构

语言是交际、思维的工具。听、说、读、写是语言运用的四大能力。随着社会的发展，人与人的交往，信息的传播与交流越来越频繁。听说能力必须顺应时代的要求，向高层次发展。本文分析了听说能力高层次建构的时代意义，阐明了听说能力高层次建构的必备要素。帮助人们从时代的角度、语言的角度、思维的角度，以及生理机能的角度，重新审视自己的听说能力，以期更好地适应信息纷繁复杂的现代社会。

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

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

SystemC渐为IC设计通用语言

日前参加设计自动化研讨会（DAC）的设计师们共聚一堂，就比寄存器传输级（RTL）抽象级别更高的IC设计软件工具的前景和缺陷等问题交换了看法。

SystemC渐为IC设计通用语言，系统级设计如虎添翼

日前参加设计自动化研讨会（DAC）的设计师们共聚一堂，就比寄存器传输级（RTL）抽象级别更高的IC设计软件工具的前景和缺陷等问题交换了看法。电子系统级设计（SLD）包含许多组成元素，利用类似SystemC的软件代码来定义用于开发集成电路的结构模型。SystemC已被谈论了许多年，专家称如今该语言正逐渐成为IC设计的通用语言。

嵌入式系统规范语言

规范语言是整个嵌入式系统设计方法学的核心 归纳总结了嵌入式系统规范语言的发展过程 ,并针对当前嵌入式系统的发展趋势 ,说明了嵌入式系统规范和规范语言的设计需求 ,进而介绍比较了两种重要的基于C/C ++语言的新的规范语言SystemC和SpecC ,最后阐述了基于C/ C ++的规范语言的看法 。

Verilog HDL与SystemC的语法等效性

针对电子系统设计中使用不同语言制约设计效率的问题,研究了SystemC2.0与VerilogHDL的语法在基本语法结构、时间模型、等待和事件模型、调度模型等方面的等效性,得出如下结论:对于门级以上级别的描述,所有的VerilogHDL的描述总可以在SystemC中找到对应描述;开发EDA设计工具,实现从VerilogHDL描述的知识产权自动转换到SystemC描述是可行的.

基于SystemC描述的嵌入式系统的自动化验证

基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .

一种基于SystemC的系统级软硬件协同设计新模型

分析了SystemC的建模特性,提出了一种基于SystemC的系统级设计新模型,即从系统功能描述开始逐步细化,建立模型间通信抽象的事务模型,对抽象通信具体化,最后形成通信模型。以此为基础进行RTL级综合,完成软硬件协同设计。本方法应用于一款导航芯片的设计,有效地缩短了研制周期,降低了开发成本,提高了系统设计质量。

System C:一种软/硬件协同设计语言

集成电路制造技术的迅速发展，已经可以把一个完整的电子系统集成到一个芯片上，即所谓的系统芯片（SOC：System on Chip）。在系统芯片中一般包含有嵌入式微处理器（或信号处理器），总线，存储器，输入/输出口，专用集成电路（ASCC）等硬件，还包含有控制微处理器（或信号处理器）工作的软件。传统的设计方法是将硬件和软件分开来设计的，在硬件设计完成并生产出样片后才能调试软件。本文在介绍了传统设计方法后，指出了这种设计方法存在的缺陷，介绍了目前国外在硬/软件协同设计方面正在进行的各种研究工作。本文最后着重介绍了一种软/硬件协同设计语言System C，利用System C可望解决系统芯片设计中软/硬件协同设计的问题。

浮点加法的SystemC设计

以IEEE754标准格式中的单精度格式为标准,进行浮点加法器的设计。SystemC作为一种基于C++语言的新型硬件设计语言比较原有的HDL语言在系统级建模、软硬件协调设计方面更具优势,因此也更适用于SoC的设计建模。通过对浮点加法流程的分析,以其算法设计和结构映射为例,对浮点加法步骤加以讨论,得出合适于标准格式的设计,并结合如何应用SystemC进行系统设计,给出浮点加法器部分模块的SystemC描述。

基于UML和SystemC的嵌入式系统集成开发方法的研究

针对嵌入式系统的特点,提出了一种基于UML和SystemC的集成开发方法。在这种方法中,UML用于嵌入式系统的分析与设计,SystemC用于建立软硬件协同仿真模型。UML模型到C++语言自然而直观的映射提供了连接系统分析阶段和实现阶段的桥梁,而通过SystemC模型的执行可以对系统的高层分析、抽象和定义提供尽可能早的验证。

外国语言文学研究生学术写作课程教学改革研究

以培养外国语言文学研究生高层次思维能力为学术写作课程的教学改革理念,采取模块式教学,力求教学内容个性化、授课形式多样化、教学手段现代化、学术写作规范国际化,充分体现学术写作课程的时代性、基础性、指导性与开放性,着力提高外国语言文学研究生的科学研究与学术写作能力。

基于SystemC的Cache一致性协议描述与验证

FLSAH SCI协议作为Cache一致性协议的一种,具有灵活性、高效性和适应性强等特点,是目前最具发展潜力的Cache一致性协议之一。该协议在继承标准SCI协议低存储开销、维护精确共享信息等优点的同时对标准SCI协议进行优化,得到更为高效、灵活的FLASH SCI协议。本文用SystemC高层次语言对FLASH SCI协议进行建模与描述,并验证其正确性。模拟结果证明了FLASH SCI协议的正确性以及其在存储开销和执行效率上的优越性。

基于SystemC的GPU参数分配单元硬件TLM建模

为了研究GPU参数分配单元处理OpenGL绘图命令和功能命令的顺序性机制,采用SystemC建模语言,基于硬件事务级建模(Transaction-Level Modeling,TLM)思想,详细描述了GPU参数分配单元模型的模块、接口、进程等建模过程,模型之间时钟和事件同步,模块之间通过端口和层次化通道通讯,具有建模效率高和仿真速度快的优点.最后通过仿真结果验证了架构和算法的正确性,实现了在RTL设计之前尽可能早的对架构和算法进行探索和验证,为RTL设计提供参考依据,加速了GPU的软硬件协同设计.

基于UML&SystemC的GPU片段处理TLM建模

GPU片段处理单元位于图形处理器渲染管线的末尾,执行对将要存储到缓冲区的片段的测试、混合、屏蔽、逻辑等所有操作。为了在RTL设计之前快速研究GPU片段处理单元的硬件结构及功能算法,文中联合使用统一建模语言(unified modeling language,UML)和SystemC语言对GPU片段处理单元进行事务级建模(transaction-level modeling,TLM)。首先设计了GPU片段处理单元的类图、结构图、行为图等视图,对系统进行静态结构和动态行为的描述;然后将UML可视化视图转换为基于SystemC的事务级模型,详细描述了GPU片段处理单元的模块、接口、端口、进程等建模过程,模块之间通过端口和层次化通道通讯,具有建模效率高和仿真速度快的优点;最后基于Linux操作系统仿真平台验证了架构和算法的正确性,实现了在设计的前期进行软硬件的协同仿真和算法的验证、优化,对硬件架构进行探索,有利于加速以图形处理器为核心的设计和开发。