微电子学概论Chap06单元.pptVIP

测试问题：测试向量生成、故障诊断（检测和定位）、可测性设计 在建立故障模型的基础上，生成测试向量 利用故障模拟器，计算测试向量的故障覆盖率，根据获得的故障辞典进行故障定位 对于一些难测故障进行可测性设计，使测试生成和故障诊断比较容易实现， 故障模型 固定型：元件的某个输入、输出端被固定在逻辑0(s-a-0)或逻辑1(s-a-1)，不改变拓扑 桥接故障：短路，可能改变逻辑关系 开路故障 如果固定型故障的覆盖率达到90%以上，测试向量集可用于检测其他类型的故障。 典型的测试向量自动生成系统几乎都是采用固定型故障模型。 测试向量生成 概念：考虑在保证向量产生时间的情况下，产生最少或较少的一组输入信号用于测试，同时尽量达到最大的故障覆盖率。 故障覆盖率：测试向量所检测出的故障与按照故障模型设立的电路故障总数之比。 有效性衡量：测试向量集的大小和它能覆盖故障的百分比 几种方法： 软件自动生成 人工生成 从激励码转换生成 根据输入端数目从输入序列中随机选取 测试向量生成方法 针对组合逻辑电路，较典型的测试向量自动生成算法：路径敏化算法 路径敏化算法概念：从故障点到电路输出选择一条或多条适当路径，并使该路径敏化。 敏化：将故障效应传播到输出端 多路径敏化算法：D-算法 基本思想：先定义节点(或电路)的输出，然后再确定产生这种输出所需要的输入 故障模拟 概念：针对测试输入向量集，对被测电路在不同故障状态下进行逻辑模拟，得到所能检测出的故障集，从而获得故障覆盖率 分类 并行故障模拟：故障注入（把某信号线设为故障状态），针对测试输入进行逻辑模拟，得到输出响应，与正常输出响应比较，如果不同则认为该故障可被该测试向量测出 演绎故障模拟：某一测试向量下，只对正常电路进行模拟，利用各元件的故障表将故障向电路的原始输出端传播，演绎出该测试向量对应的可测故障。元件的故障表：对应于元件的测试输入向量在元件的输出端所能检测出的故障集 并发式故障模拟 故障定位 通过故障模拟获得故障辞典（测试输入向量集所能测出的故障集以及各测试输入相应各故障的输出响应向量） 用aij表示第i个测试向量对第j个故障测试在某一输出端的响应值，aij=1表示第j个故障可被第i个测试向量测出，aij=0则表示不能被测出。对于多输出端电路(假设m个输出)，aij变为m位向量 加载测试向量，得到输出响应向量，该向量与正常电路的输出响应向量进行异或，得到的值与故障辞典中的值(aij)相比较，可完成故障定位 CAD深入到设计各阶段，而且相互联系 行为描述是综合的输入，综合的输出可作为逻辑模拟的输入、版图生成的输入，版图是版图验证的输入 发展方向 提高CAD软件的自动化程度：高级综合、综合与布图结合等 深亚微米电路设计发展：时延驱动、多层布线、布图压缩等 个人通信、便携式计算机等：功耗分析、低功耗设计技术、时延功耗双重驱动布图算法等 芯片系统、数/模混合电路：模拟电路的CAD软件 集成电路CAD 描述 综合 模拟 逻辑、电路、器件、工艺 验证 测试 作 业 1. 版图验证与检查包括哪些内容，如何实现？ 2. 试述器件模拟和工艺模拟的基本概念。 版图设计的目标：连线全部实现，芯片面积最小，性能优化（连线总延迟最小） CAD工具分类（按工作方式分）：自动设计、半自动设计、人工设计；版图验证与检查 用的大多是启发式算法 版图的自动设计 概念：通过CAD软件，将逻辑描述自动转换成版图描述 成熟的自动版图设计包括基于门阵列、标准单元、PLA的布图系统，BBL布图系统也在发展中 典型的IC CAD软件，如Cadence、Mentor、Compass、Panda等设计系统中都有自动版图设计功能 自动版图设计过程 逻辑划分 布局 布线 设计检验 输出 输入 人机交互 单元库 布图规划 自动版图设计过程（续） 逻辑划分 概念：功能划分 原则：功能块面积和端子数满足要求，使功能块数目或总的外连接数最小 基本思想：连接度大的元件放在同一功能块中 划分算法：简单连接度法、分配法、Lin法等 布局规划 布局规划：根据电路网表、估计的芯片的大体面积和形状、各功能块的大体形状面积、功能块的数目、输入/输出数目等，对设计的电路进行物理划分和预布局。先进行初始规划（initialize floorplan），产生输入/输出行，单元区行以及布线网格等，然后进行行调整、芯片面积调整、布线网格调整，并进行预布局，初步确定各功能块的形状面积及相对位置、I/O位置以及芯片形状尺寸，而且可以从总体上考虑电源、地线、数据通道分布（datapath plan） 自动布局 布局概念：按电路功能、性能、几何要求，放置各部件