标准硬件描述语言VHDL

ＶＨＤＬ（ＶＨＳＩＣ Ｈａｒｄｗａｒｅ Ｄｅｓｃｉｐｔｉｏｎ Ｌａｎｇｕａｇｅ，ＶＨＳＩＣ硬件描述文）作为ＩＥＥＥ标准设计语言，是电子ＣＡＤ技术发展的重要里程碑。ＶＨＤＬ语言正在逐步为广大电子设计师了解和掌握。本文主要介绍了ＶＨＤＬ语言的特点、构件和描述风格。     

VHDL硬件描述语言及其发展

本文简要介绍ＶＨＤＬ语言的基本特征和支持系统，总结了ＶＨＤＬ语言的目前研究状况，指出以ＶＨＤＬ语言为接口，研制我们的设计自动化工具是正确的抉择。     

硬件描述语言VHDL的表述特点及其综合过程

ＶＨＤＬ是一种具备形式化，层次化和规范化的硬件描述语言。它能针对设计实体的多方面特性给出了其不同层次上的表述方式；结构描述，数据流描述和行为描述。本文介绍了ＶＨＤＬ的表述特点及其综合过程。     

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

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

硬件描述语言Verilog的建模技术

通过对Verilog语言的导次化建模,门级建模,数据流级建模,行为建模,开关级建模等各个抽象层次的研究,全面阐述了Verilog的建模方法,对于理解,使用和制订我国的Verilog语言标准会有所帮助。     

硬件描述语言翻译器的研制

本文介绍了硬件描述语言NCH的概貌和特点,并论述了相应的翻译器NITTR的实现过程和有关的优化策略。     

高级程序设计语言和硬件描述语言VHDL的数据类型比较

本文主要对高级程序设计语言和硬件描述语言VHDL的数据类型进行比较分析,总结规律,探讨两种语言数据类型之间的特点。     

硬件描述语言到C语言的翻译

本文介绍了一种用于ＶＬＳＩ设计仿真中的硬件描述语言到Ｃ语言的转换实例，其设计思想及实现办法适合于各行各业在处理相应问题时所采用的某种描述语言编译器的研制，无论从理论上还是实际问题处理，都证明该方法是行之有效，可移植的方法。     

硬件描述语言Verilog HDL及应用

本文主要介绍硬件描述语言Verilog HDL的特点以及它在大规模成电路设计中的应用,并给出了实际应用的关键步骤。     

Scilab/Scicos在硬件/软件联合设计中的应用

从介绍电子设计自动化中的软硬件联合设计入手，阐述了联合设计的必要性和重要意义，并提出了法国INRIA开发的科学教育处软件Scilab/Scicos扩充为软硬件联合设计工具的构想。随后，详细论述了将Sclilab/Scicos应用于描述电子电路设计时所遇到的问题及解决的方法。对于所需模块的扩充以及编译器的构造也给出了说明。     

硬件描述语言VHDL

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

面向航电软件测试的建模描述语言研究

针对航电嵌入式软件仿真测试的特点,阐述了仿真测试过程中建模的要求和模型的结构与特性,在此基础上,设计并实现了一种面向航电软件测试的建模描述语言(STMDL).对STMDL的语法语义和描述规则进行了详细介绍,并阐述了该建模描述语言的特点和工程应用.     

软硬件测试中预确定距离测试

在随机测试的基础上提出了VLSI电路测试中的一个新概念,即预确定距离测试.随机测试广泛应用于软硬件测试中已经有多年了.众所周知,随机测试中每个测试码都是随机选取的而不管它是否与先前生成的测试码重复.尽管由于测试码选取的随机性使得随机测试并不是十分有效,但是对它作了一些实质性修改从而大大提高了它的测试效率.在预确定距离测试中,总是选择总距离最大的测试码来进行测试,以便使得该测试码所检测到的故障与先前的测试码所检测到的故障尽可能地不同.还详细介绍了构造一个预确定距离测试序列的生成算法,并将其应用到软件测试中.最后,从基准电路上获得的实验结果以及从理论上的分析也表明这种新方法的有效性.     

Combining Software and Hardware Verification Techniques

Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of realistic software/hardware co-designs practical. We focus on techniques that have proved successful in each of the two domains: BDD-based symbolic model checking for hardware verification and partial order reduction for the verification of concurrent software programs. In this paper, we first suggest a modification of partial order reduction, allowing its combination with any BDD-based verification tool, and then describe a co-verification methodology developed using these techniques jointly. Our experimental results demonstrate the efficiency of this combined verification technique, and suggest that for moderate–size systems the method is ready for industrial application.     

面向方面的软件体系结构描述语言AO-ADL

分析面向方面编程(AOP)的核心思想及其优越性,将编码阶段的AOP概念进一步提升到软件体系结构层次。在软件体系结构描述语言XYZ/ADL的基础上,通过增加新的元素和相关复合机制,得到一种面向方面的体系结构描述语言AO-ADL,实现了在软件体系结构中横切功能的模块化。     

软件工程中描述技术的数学基础

1引言 　　软件工程的描述技术是指通过语法或图表给出的建模方法和符号或软件系统文档中使用的表格.模型是在形式化描述后形成语义概念的数学结构.形式化描述在软件工程中用来描述抽象的系统模型.形式化描述与建模技术的区别在于形式化描述方法一般采用文本、公式、表格和图表形式.它主要包括对数据模型,系统体系结构,系统行为,过程与场景的描述.建模技术是用来表达现实世界中的应用问题并将其映射到软件描述方法的过程或活动[1].……     

软件测试技术与自动化测试框架模型的研究与应用

该文对软件质量保证的重要手段——软件测试进行了论述,给出一些软件测试的基本理论。随着软件测试研究的发展,软件测试提出了一些比较前沿的理论,如面向对象的软件测试,测试驱动开发理论,探索性测试等。为了克服手工测试的一些困难,提高软件质量和测试效率,自动化测试被广泛地引入进来。它以其自动化程度高、实用性强等特点,引起了人们的广泛重视,成为软件测试的发展方向。自动化测试框架产品的出现表明软件测试自动化技术正在趋于成熟。早期使用录制回放和脚本工具的不足正在被克服,使得自动化测试更加经济、有效,更加有利于实现和维护。随着在开发和维护脚本上的时间越来越少,更多的时间可用于提高测试的覆盖范围和产品质量,从而在自动化上的投资能够更快地得到证明。该文分析讨论了自动化测试框架方法以及实现,并将其应用到软件测试中。