硬件描述语言VHDL

硬件描述语言ＶＨＤＬ及其支撑的设计自动化工具是ＥＤＡ领域的重要研究课题，本文简要介绍了硬件描述语言ＶＨＤＬ的特点、结构及应用．     

硬件描述语言VHDL及其逻辑设计

文章介绍了硬件描述语言VHDL的特点、构成和描述。以及在逻辑设计中值得注意的问题。     

硬件描述语言HDL的现状与发展

从数字系统设计的性质出发，结合目前迅速发展的芯片系统，比较、研究各种硬件描述语言；详细阐述各种语言的发展历史、体系结构和设计方法；探讨未来硬件描述语言的发展趋势，同时针对国内EDA基础薄弱的现状，在硬件描述语言方面作了一些有益的思考。     

基于FPGA硬件描述语言实现SLIP协议设计

本文介绍了 SLIP通信协议的组成部分,以及串口通信在MCU和PC机间的解析方式.通过分析与实践发现,使用传统C语言设计SLIP协议占用代码空间及数据空间都较大,本文提出了一种基于FPGA硬件描述语言实现SLIP协议的设计方案,效率高,资源占用少,可灵活移植于各型号的FPGA中.     

基于硬件描述语言的IPv6报文解析器设计

本文针对IPv6网络协处理器中应用普遍的IPv6解析器,提出一种解析器的硬件实现方法,分析了各个模块的功能和实现方式。并用硬件描述语言verilog搭建HDL模型,进行了仿真和逻辑综合。同时使用相关的EDA工具加以验证。     

ADL: An Activity Description Language for Real-Time Networks

This paper introduces and motivates ADL, a new formal notation for the specification of the temporal and functional behaviour of concurrent processes. ADL is tailored to be directly compatible with the DORIS design method. It combines a graphical Activity State-Machine (ASM) notation and a model-based Activity Functional Behaviour (AFB) notation. The abstract syntax, and static and dynamic semantics for the ASM notation are given, the dynamic semantics being given proof-theoretically in many-sorted logic extended with the RTL ‘occurrence’ relation, Θ, and the ERTL ‘holding’ relation, Φ. ADL is used to specify a small network, and proofs are given of its timeliness and safety properties. Received November 1998 / Accepted in revised form May 2000     

系统级硬件描述语言SpecC词法分析器设计与实现

随着硬件系统复杂性的提高,在更高的抽象层次--系统级进行软硬件协同设计成为一种趋势。SpecC语言是一种用来在系统级对硬件系统进行描述的系统级硬件描述语言。S pecC词法分析器作为SpecC综合器的基础模块,其性能是影响SpecC综合器性能的关键因素之一,而SpecC综合器是实现系统级设计综合自动化必不可少的硬件系统开发工具。本文在Linux环境下用C设计并实现了SpecC语言的一个词法分析器SpecCLexer。它能正确地对用户输入的SpecC源代码进行预处理和词法分析,并在源代码中出现词法错误时给给用户反馈错误信息。     

语义网描述语言分析

语义网是对WWW的延伸,是在现有WWW基础架构上为网页扩展面向计算机的数据并增加专为计算机使用的文档,更利于人机间的合作和机器问的交互。为解决网上知识表示问题,特分析比较了如RDF、OIL、DAML等几种典型的语义描述语言,讨论了其要解决的主要问题。     

ABC/ADL:一种基于XML的软件体系结构描述语言

作为基于构件的软件开发过程的系统蓝图,软件体系结构(SA)扮演了非常重要的角色,其研究受到越来越多的关注．而软件体系结构描述语言(ADL)是研究和应用SA的基础．提出了一种基于XML的体系结构描述语言——ABC／ADL．ABC／ADL具备大多数ADL描述软件系统高层结构的能力,还支持系统的逐步精化与演化,并支持系统的自动化组装和验证．采用数据互操作标准XML作为元语言,不仅使ABC／ADL具有与其他ADL的互操作性,还有助于实现设计阶段的制品与其他软件生命周期阶段制品之间的可追踪性．     

CLS：一种支持状态图复用的攻击场景描述语言

入侵检测描述语言是各种安全防护体系的核心,不仅影响到描述(检测)能力,而且影响执行效率。本文研究分析了国内外几种重要的入侵检测语言,提出了一种支持状态图复用的规则语言CLS。CLS简化了STATL的实现语义,通过组合状态图(实例)来达到同样的表达能力,以减少资源消耗,提高执行效率。CLS还针对网络入侵检测系统的需求,修改了STATL的状态、事件等静态语义元素,限制了其事件队列、代码块的功能,以简化实现。通过分析常见的网络协议层的攻击场景,我们建立了标准CLS扩展库,为用户进一步定制安全需求,提供了基本参考。     

XSSRA/ADL:一种基于XML的安全需求体系结构描述语言

在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此,在体系结构层次上描述安全需求还比较困难提出了一种基于XML的安全需求体系结构描述语言--XSSRA/ADL,它引入了安全构件、半安全构件、安全连接件、半安全连接件等设计单元,不仅能够描述安全需求的体系结构,而且也较好地解决了软件系统中业务需求与安全需求在高层的交互和依赖关系另外,XSSRA?ADL采用数据互操作标准XML作为元语言,这使得它具有与其他ADL的互操作性,并便于支持系统的精化和演化.     

芯片设计方法学的基础--硬件描述语言Verilog--国家标准GB/T18349-2001<集成电路/计算机硬件描述语言Verilog>介绍

全面且系统地介绍硬件描述语言Verilog标准的基本内容、组成及其修订要点；同时介绍了《硬件描述语言Verilog（第4版）》。