用于CMOS集成电路的IDDQ测试技术研究

主要介绍了ＣＭＯＳ电路的ＩＤＤＱ测试技术。该的实现方法有两种：一种是片内ＩＤＤＱ测试;另一种是片上ＩＤＤＱ测试。前一种是在被测芯片内,设计一个电流传感器。是在被测芯片外的负载板上附加一个小电路,变ＩＤＤＱ为电压测试,从而达到ＩＤＤＱ测试的目的。     

CMOS电路电流测试综述

集成电路设计与测试是当今计算机技术研究的主要问题之一。ＣＭＯＳ电路的静态电流（ＩＤＤＱ）测试方法自８０年代提出以来,已被工业界采用,作为高可靠芯片的测试手段。近年来,动态电流（ＩＤＤＴ）测试方法正在研究中。现在正面临一些亟待解决的问题,希望闫家的参与。文中对ＣＭＯＳ电路电流测试方法作一综述。     

新一代三维CAD系统──SOLID EDGE

纯Ｗｉｎｄｏｗｓ的ＣＡＤ系统Ｗｉｎｄｏｗｓ操作系统的底层。ＳＯＬＩＤＥＤＧＥ是真正的原创Ｗｉｎｄｏｗｓ软件。它不是将工作站软件生硬地搬到Ｗｉｎｄｏｗｓ,而是充分利用了Ｗｉｎｄｏｗｓ基于组件对象模型（ＣＯＭ）的先进技术重写代码,这就使得习惯使用Ｗｉｎｄｏｗｓ软件的用户倍感亲切。ＳＯＬＩＤＥＤＧＥ调动全部Ｗｉｎｄｏｗｓ的功能,提高设计工程效率,缩短学习时间,减少培训费用和对系统的管理。ＳＯＬＩＤＥＤＧＥ与ＭｉｃｒｏｓｏｆｔＯｆｆｉｃｅ兼容,与Ｗｉｎｄｏｗｓ－ＯＬＥ技术兼容,这使得设计师们使用ＣＡＤ系…     

A CONFIGURATION SYSTEM FOR FASTENER DESIGN（AN APPROACH TOWARDS COMPUTER AIDED CONCEPTUAL DESIGN）

ＡＣＯＮＦＩＧＵＲＡＴＩＯＮＳＹＳＴＥＭＦＯＲＦＡＳＴＥＮＥＲＤＥＳＩＧＮ（ＡＮＡＰＰＲＯＡＣＨＴＯＷＡＲＤＳＣＯＭＰＵＴＥＲＡＩＤＥＤＣＯＮＣＥＰＴＵＡＬＤＥＳＩＧＮ）ＧｕａｎｇＺｈｏｎｇ；ＭｉｋｅＤｏｏｎｅｒＡＣＯＮＦＩＧＵＲＡＴＩＯＮＳＹＳＴＥ...     

COMPUTER AIDED INSPECTION PLANNING

ＣＯＭＰＵＴＥＲＡＩＤＥＤＩＮＳＰＥＣＴＩＯＮＰＬＡＮＮＩＮＧＴａｎｇＸｉａｏｑｉｎｇＣＯＭＰＵＴＥＲＡＩＤＥＤＩＮＳＰＥＣＴＩＯＮＰＬＡＮＮＩＮＧ￥ＴａｎｇＸｉａｏｑｉｎｇＡｂｓｔｒａｃｔＣｏｍｐｕｔｅｒａｉｄｅｄｉｎｓｐｅｃｔｉｏｎｐｌａｎｎｉｎ...     

一类针对Navier－Stokes方程的链状区域分裂法

一类针对Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的链状区域分裂法武云海（中山大学计算机系）ＡＫＩＮＤＯＦＬＩＮＫＤＯＭＡＩＮＤＥＣＯＭＰＯＳＩＴＩＯＮＭＥＴＨＯＤＦＯＲＮＡＶＩＥＲ－ＳＴＯＫＥＳＥＱＵＡＴＩＯＮＳ￥ＷｕＹｕｎ－ｈａｉ（ＤｅｐａｒｔｍｅｎｔｏｆＣ...     

信息港

天域空间 仅售２８０元的ＰＲＯＭＩＳＥ ＵＤＭＡ／６６卡 最近,美国Ｐｒｏｍｉｓｅ公司推出了几款不同档次的ＵＤＭＡ／６６ＲＡＩＤ产品。随着硬盘外部传输率的不断提高, ＵＤＭＡ／６６已成为新一代的外部传输标准。 ＰＲＯＭＩＳＥ ＵＤＭＡ／６６卡采用ＰＲＯＭＩＳＥ公司的ＰＤＣ２０２６２的主控芯片,自带有可编程的ＢＩＯＳ。可以提供两个支持Ｕｌｔｒａ ＤＭＡ／６６协议的ＩＤＥ端口。可以连接４个ＩＤＥ设备。并且支持各种ＩＤＥ标准,（ＩＤＥ,ＥＩＤＥ,Ｆａｓｔ－ＡＴＡ, Ｕｌｔｒａ－ＡＴＡ）。 ＰＲＯＭＩＳＥ ＵＤＭ…     

多重网格区域分裂分布式计算

多重网格区域分裂分布式计算徐正权（华中理工大学）ＤＩＳＴＲＩＢＵＴＩＮＧＭＵＬＴＩＧＲＩＤＣＯＭＰＵＴＡＴＩＯＮＢＹＤＯＭＡＩＮＤＥＣＯＭＰＯＳＩＴＩＯＮ￥ＸｕＺｈｅｎｇｑｕａｎ（ＨｕａｚｈｏｎｇＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎ...     

多机相关任务的均衡调度算法

多机相关任务的均衡调度算法许日滨（青岛大学计算机科学系青岛２６６０７１）ＴＨＥＥＱＵＩＬＩＢＲＩＵＭＳＣＨＥＤＵＬＩＮＧＡＬＧＯＲＩＴＨＭＦＯＲＤＥＰＥＮＤＥＮＴＴＡＳＫＳＩＮＭＵＬＴＩＰＲＯＣＥＳＳＯＲＳ￥ＸｕＹｕｅｂｉｎ（ＤｅｐａｒｔｍｅａｔＣｍ...     

用快速自适应组合网格方法（FAC）求解二阶椭圆型偏微分方程

用快速自适应组合网格方法（ＦＡＣ）求解二阶椭圆型偏微分方程彭志健，林振宝，石济民（香港理工学院应用数学系）ＯＮＴＨＥＣＯＭＰＵＴＡＴＩＯＮＡＬＡＳＰＥＣＴＳＯＦＴＨＥＦＡＳＴＡＤＡＰＴＩＶＥＣＯＭＰＯＳＩＴＥＧＲＩＤＭＥＴＨＯＤＦＯＲＳＯＬＶＩＮＧＳ...     

用ITS9000MX数字部件测试A/D转换器件的方法

A/D器件的测试方法与纯数字电路的测试方法相比较有其特殊性。本文介绍如何利用ITS9000MX的数字测试部件测试A/D器件的方法,有一定的参考价值。     

ITS9000 MX测试程序库的研制

本文介绍了ITS9000MX测试程序库的设计与实现,提出了基于ATPG的测试程序设计方法。     

A hyper-heuristic approach to automated generation of mutation operators for evolutionary programming

Evolutionary programming can solve black-box function optimisation problems by evolving a population of numerical vectors. The variation component in the evolutionary process is supplied by a mutation operator, which is typically a Gaussian, Cauchy, or Lévy probability distribution. In this paper, we use genetic programming to automatically generate mutation operators for an evolutionary programming system, testing the proposed approach over a set of function classes, which represent a source of functions. The empirical results over a set of benchmark function classes illustrate that genetic programming can evolve mutation operators which generalise well from the training set to the test set on each function class. The proposed method is able to outperform existing human designed mutation operators with statistical significance in most cases, with competitive results observed for the rest.     

在线算法验证系统的设计与实现

针对远程教学练习环节中存在的问题,提出了一种利用ASP.NET技术构建在线算法验证系统的实现方法.系统用命令行编译和批处理技术实现对算法程序的自动编译;利用运行结果的捕获技术和数据库技术实现算法程序的自动测试;利用数据库技术、哈希表技术,算法相似度计算等技术实现算法练习的管理.实践运行结果表明,该系统有效解决了练习提交的及时性和练习批改及管理的自动化问题,大大地改善了教学手段、提高了教学效果.     

A state-based approach to integration testing based on UML models

Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise when these classes are integrated together. In this paper, we present a technique to enhance testing of interactions among modal classes. The technique combines UML collaboration diagrams and statecharts to automatically generate an intermediate test model, called SCOTEM (State COllaboration TEst Model). The SCOTEM is then used to generate valid test paths. We also define various coverage criteria to generate test paths from the SCOTEM model. In order to assess our technique, we have developed a tool and applied it to a case study to investigate its fault detection capability. The results show that the proposed technique effectively detects all the seeded integration faults when complying with the most demanding adequacy criterion and still achieves reasonably good results for less expensive adequacy criteria.     

浅谈CMOS集成电路的IDDQ测试

介绍了IDDQ测试的基本原理和主要测试方法,CMOS IC本质上是电流可测试的,IDDQ测试可有效地提高产品质量,降低芯片生产价格,并且它对失效响应分析(FEA)是非常有用的。     

Generating semantically valid test inputs using constrained input grammars

ContextGenerating test cases based on software input interface is a black-box testing technique that can be made more effective by using structured input models such as input grammars. Automatically generating grammar-based test inputs may lead to structurally valid but semantically invalid inputs that may be rejected in early semantic error checking phases of a system under test.ObjectiveThis paper aims to introduce a method for specifying a grammar-based input model with the model’s semantic constraints to be used in the generation of positive test inputs. It is also important that the method can generate effective test suites based on appropriate grammar-based coverage criteria.MethodFormal specification of both input structure and input semantics provides the opportunity to use model instantiation techniques to create model instances that satisfy all specified constraints. The input interface of a subject system can be specified using a high-level specification scheme such as attribute grammars, and a transformation function from this scheme to an instantiable formal modeling language can generate the desired model instances.ResultsWe propose a declarative grammar-based input specification method that is based on a variation of attribute grammars and allows the user to specify input constraints in addition to input structure. The model can be instantiated automatically to generate structurally and semantically valid test inputs. The proposed method has the capability to specify test requirements and coverage criteria and use them to generate valid test suites that satisfy test coverage criteria requirements.ConclusionThe work presented in this paper provides a black-box test generation method for grammar-based software inputs that can automatically generate criteria-covering test suites.     

一种用于CBR推理机的案例学习算法研究*

案例学习是CBR(Case-Based Reasoning)推理机的重要环节,但由于案例的多样性以及对领域的依赖性,导致CBR系统中案例自动生成困难的问题。针对这一问题,本文提出将seq2seq(Sequence-to-Sequence)模型用于案例学习,通过seq2seq模型自动生成案例,引入attention机制,提高seq2seq模型生成案例的效果,并利用潜在语义分析LSA(Latent Semantic Analysis)对网络爬取语料库进行筛选,利用过滤后的语料库对模型进行训练,提出一种基于三元组的评估方法,对生成案例进行评估和存储,从而实现CBR推理机的自主学习。最后将改进的案例学习系统应用到实际的智能机器人上进行验证,测试结果表明该方法具有可行性,且能够有效提高机器人的智能性及易用性。     

采用图遍历算法的服务端请求伪造漏洞检测

针对基于PHP语言开发的Web应用系统,提出了一种基于图遍历算法的服务端请求伪造漏洞检测和利用方法。通过构建抽象语法树,获取每个文件的数据流信息,进而利用数据流中的传递依赖关系构造全局的代码属性图,使用图遍历算法对生成的代码属性图进行污点分析,得到污点变量的代码传递依赖路径图,最后使用约束求解的方法对路径图中的经过函数信息进行漏洞检测并生成可利用的攻击向量。实验结果表明,这种检测方式相较于传统的静态审计方法能够很好地发现服务端请求伪造漏洞,并能够自动化生成可绕过的攻击向量。     

一种基于扫描链阻塞技术的低费用测试方法

为进一步降低测试功耗及测试应用时间,提出一种基于扫描链阻塞技术且针对非相容测试向量的压缩方法.该方法考虑前后2个测试向量之间不相容的扫描子链,后一个测试向量可以由扫描输入移入若干位以及前一个测试向量的前若干位组合而成.实验结果表明,该方法能够有效减少测试应用时间,提升效率.