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

作     者：刘泽坚 陆宏达 杨莲兴 陈芹 LIU Ze-Jian;LU Hong-Da;YANG Lian-Xing;CHEN Qin

作者机构：上海交通大学信息与控制工程系上海200030 复旦大学专用集成电路与系统国家重点实验室上海200433 

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

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：1999年第11卷第6期

页      码：542-546页

摘      要：运用《系统论》的思想，提出数字系统功能和复杂数字系统整体功能的概念，由此引伸出功能测试的新方法．这种方法可归结为通过复杂数字系统的分析，包括拓扑分析和逻辑分析，建立整体功能模型，据此找出验证测试所需的系统输入向量序列．这些工作可采用计算机辅助手段，特别是运用《算法图论》和逻辑综合工具而完成的．用所提出的方法可以在复杂数字系统各种不同抽象级的逻辑图中提取整体功能模型，因此具有广泛的适用性．

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

学科分类：080903[080903] 0809[工学-计算机类] 08[工学] 

核心收录：

D　O　I：10.3321/j.issn:1003-9775.1999.06.016

馆 藏 号：203157931...