准完全最大距离伪随机测试研究

对超大规模集成电路进行随机测试的测试码之间的距离作了定量分析,在此基础上,改进了最大距离随机测试算法中测试码的生成方法,使得所生成的伪随机测试码集合同时达到最大海明距离与近似最大笛卡尔距离。因此每一个测试码可以尽可能多地独立检测到更多不重复的故障。进而提出了准完全最大距离测试新算法的思想和构建理论,并详细阐述了该算法的执行流程。在ISCAS'85基准电路上进行的大量实验数据分析表明,本方法确实有效地提高了随机测试效率,降低了随机测试成本。     

Forecasting the efficiency of test generation algorithms for combinational circuits

In this era of VLSI circuits,testability is truly a very crucial issue.To generate a test set for a given circuit,choice of an algorithm from a number of existing test generation algorithms to apply is bound to vary from circuit to circuit.In this paper,the Genetic Algorithm is used in order to construct an accurate model for some existing test generation algorithms that are being used everywhere in the world.SOme objective quantitative measures are used as an effective tool in making such choice.Such measurews are so important to the analysis of algorithms that they become one of the subjects of this work.     

软件内建自测试中模板内容的研究和实现*

软件内建自测试是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试BIST(BuildinSelfTest)。软件内建自测试为程序员提供一套预先设计好的模板,由模板对所编写的程序植入测试信息,实现软件内建自测试以解决软件测试难的问题。模板是软件内建自测试系统的基石,其内容关系到整个系统的性能和效果。具体讨论了模板的实现,根据软件故障模型对代码进行改装,从而减少程序出错的概率,同时为软件内建自测试系统中测试用例的生成提供了更丰富的信息。     

软件内建自测试中的模板库及测试路径分析

软件内建自测试是一种新型的软件测试方法，该文研究了其中的模板库设计和测试路径执行的问题。首先介绍系统的模板库定义及设计，以及它的主要特点，然后介绍了一种将模板库中程序块的执行路径二叉化的方法，使生成的测试用例具有高的路径覆盖率。     

程序插装技术在软件内建自测试中的应用

软件内建自测试(Build-In-Self-TestforSoftware)思想来自于硬件内建自测试。其中测试点设置是软件内建自测试系统的核心模块之一,主要借助程序插装技术收集动态测试信息和控制程序流程。该文具体讨论了插装库的设计、实现以及测试点植入被测程序的过程。     

组合电路随机测试的一种新方法

本文在随机测试的基础上提出了逆随机测试（ART）的新概念，在该测试序列的集合中各测试码之间的海明距离为尽可能的大，这样可以使不同的测试码检测到更多不同的故障，从则提高了测试效率和故障覆盖率。本文给出了构造逆随机测试序列（ARTS）的详细过程，并且严格证明了该序列的高效和正确性，同时还给出了用Benchmark和其它电路作为例子的实验结果。     

测试生成算法评估与预报系统

测试生成算法评估与预报系统分别利用回归算法、神经网络算法和遗传算法为测试生成算法建立预报模型,使得对给定电路,不必实际运行测试生成算法,就可快速地得到最有效的测试生成算法。对如何利用遗传算法建立预报模型进行了较为详细的论述。     

三值光学计算机中MSD加法器的理论和结构

在三值光学计算机中采用MSD加法器,将使这个光学计算机的"三值"和"数据位数众多"两大优势在数值计算中得以充分发挥.以降值设计理论为基础,三值光学计算机既可以随时构造出一个数千位的大加法器来满足计算超大数据的用户,也可以常备一个数据位数适中的加法器来满足普通用户的需要.引入流水计算技术和发明数据剪辑技术后,常备加法器的...     

基于数据与控制分割方法的异步串行接口设计

根据VLSI系统设计的流程，很自然的将VLSI模块分成数据路径和控制通道两个部分，在它们之间进行数据处理的联系和格式信息的反馈，控制部分一般用状态机实现，本文根据异步串行通讯的RS232标准，利用数据与控制分割思想，实现了异步串行通讯接口的发送和接收模块SCI的VLSI设计。     

基于BIST软件测试思想的单元测试框架

BIST是一种成熟的硬件可测性设计的方法,BIST软件测试思想则借用了该技术,它主要包括模板和自治测试部分两大基本结构。在该思想的指导下,整合测试用例、测试点、插装函数、测试报告等测试要素,提出了各个要素的存储或使用方式,以路径覆盖为测试目标,提出了一种BIST软件自测试的测试框架。实践证明,该测试框架有利于BIST软件测试思想的进一步研究和实现。