用于复杂数字系统测试的整体功能模型  

A GLOBAL FUNCTION MODEL FOR DIGITAL SYSTEM TESTING

作　　者：刘泽坚[1] 陆宏达[2] 杨莲兴[2] 陈芹[1] 

机构地区：[1]上海交通大学信息与控制工程系,上海200030 [2]复旦大学专用集成电路与系统国家重点实验室,上海200433

出　　处：《计算机辅助设计与图形学学报》1999年第6期542-546,共5页Journal of Computer-Aided Design & Computer Graphics

基　　金：国家自然科学基金;复旦大学专用集成电路与系统国家重点实验室开放课题基金

摘　　要：运用《系统论》的思想，提出数字系统功能和复杂数字系统整体功能的概念，由此引伸出功能测试的新方法．这种方法可归结为通过复杂数字系统的分析，包括拓扑分析和逻辑分析，建立整体功能模型，据此找出验证测试所需的系统输入向量序列．这些工作可采用计算机辅助手段，特别是运用《算法图论》和逻辑综合工具而完成的．用所提出的方法可以在复杂数字系统各种不同抽象级的逻辑图中提取整体功能模型，因此具有广泛的适用性．According to the philosophy of systematicism, the concept of global function of complex digital systems is proposed. Then a novel approach of test generation is introduced. This approach may be summarized as a two step process. The first is to extract the global function model by topological analysis and logical analysis of the complex digital system, and the next is to find the input vector sequence for verifying this model. These procedures can be accomplished with computer aided tools based on algorithmic graph theory and logic synthesis. This approach facilitates the practical solution of VLSI test generation and is adaptable to digital systems described in different levels of abstraction.

关 键 词：逻辑综合 数字集成电路 测试 功能模型 

分 类 号：TN431.207[电子电信—微电子学与固体电子学]