【摘 要】
：
本文综述近几年来国际上在测试产生方法的研究方面的新进展。最近一个明显的趋势就是要使测试产生方法适用于5000门以上的大型电路。在原有算法基础上,进行改进、扩展,使之达到这一要求,已有若干进展。另一方面,新的探索也在进行,以期用新的思想来处理大型电路测试产生的问题。所以,沉静了一段时间的测试产生方法的研究近几年来又重新活跃起来。本文试图揭示这方面的新进展。
论文部分内容阅读
本文综述近几年来国际上在测试产生方法的研究方面的新进展。最近一个明显的趋势就是要使测试产生方法适用于5000门以上的大型电路。在原有算法基础上,进行改进、扩展,使之达到这一要求,已有若干进展。另一方面,新的探索也在进行,以期用新的思想来处理大型电路测试产生的问题。所以,沉静了一段时间的测试产生方法的研究近几年来又重新活跃起来。本文试图揭示这方面的新进展。
其他文献
逻辑综合是数字系统设计中的重要组成部分。随着LSI、MSI的日益广泛使用,综合的目的将不再是布尔函数的二级最小化。本文提出的自上而下(TD)匹配算法,根据给定组件库中的LSI、MSI,自动综合单输出布尔函数。并且在满足时间要求的同时,对综合的初步结果进行各种优化,使得最后结果所用组件最少。本文还提出利用广义三元式,通过求公共子表达式的自动逻辑综合系统,达到了预期的目的。
本文从集成电路CAD/CAM发展的角度,阐述了门阵列设计的特点。结合具体的电路设计,本文系统地论述了从逻辑输入到逻辑模拟与时间验证、版面设计与自动布局布线、版图数据的自动生成与转换等完整的门阵列自动设计过程。同时,给出了建立基片(母片)、宏单元符号库、模拟功能库以及建立宏单元描述的基本思想和方法,从而形成了门阵列正向设计的整体过程。对各设计部分的数据库文件,本文都作了详细介绍,并提供了所设计电路的
本文论述了利用实体造型软件建立中国古典园林景观基本构件三维图形库的过程,以及借助于此图形库进行园林设计方案的三维表现,并结合实践讨论了这些表现方法的各种应用领域。
本文论述了事件模型的基本思想和特点,并在UNIX系统上实现了一个基于事件模型的UIMS(用户界面管理系统)。论文给出了系统的数据流图、系统结构及交互技术库的函数。初步结果表明,采用事件模型的UIMS,可用形式的专用语言描述事件,并能实现并发的特点,是一个有前途的实现用户对话的模型。
中国画是自成体系、富有特色的一种绘画。使用计算机控制毛笔作画,是以现代的技术手段发展古老国画艺术的尝试。本文介绍计算机控制毛笔绘画系统(CCBPS)的结构、功能及其实现方法。笔墨的运用是中国画的关键环节之一。本系统对笔墨的运用初步实现了控制,取得了一定的效果。
HYBRID是一个建立在数据库上的实体造型及曲面造型系统,该系统是在北京航天航空大学的PANDA实体造型系统的基础上开发的。HYBRID以集合运算(交、并、差)为工具,由简单物体——基本体素及二维图形,形成复杂物体。系统采用了CSG、B-rep数据结构充分地表示了体的几何信息及拓扑信息。数据库的使用使系统存储量增大,管理统一、方便,图形及非图形信息容易统一处理。曲面造型采用了非均匀有理B样条曲面插
知识表示是机械设计专家系统(MDES)的核心问题之一。本文在分析机械产品设计过程和知识特点的基础上,结合传动箱设计专家系统——GBES的研制,提出了知识元、规则、过程、向量、表等的综合知识表示方式和相应的知识库结构及维护手段。GBES用SCheme Lisp语言编写,已在IBM PC/AT机上成功运行。
本文讨论了地貌实体三维图形的两种表现形式及其计算机自动编制的模型方法。我们应用该模型方法建立的软件系统,对曲流河型演变趋势模拟实验的河床形态,进行了实体描述,编制了不同时段的两幅三维地貌图,达到了形象近似逼真的效果,为模拟实验提供了先进的科学分析手段。
本文论述CAD的发展现状,智能CAD研究的必要性,智能CAD的进展情况与前景。
结构设计知识库与CAD一体化是智能化结构设计软件开发的一条新途径。本文介绍以CAD方法为基础的结构设计的知识支持环境——结构设计知识库的研制,阐述如何使结构设计中应用的CAD方法及软件与知识库形成能处理某些典型结构设计和分析的智能化CAD系统的应用性开发研究。