基于SAT的数字电路ATPG方法及应用.【摘要】：测试向量自动生成（AutomaticTestPatternGeneration，ATPG）问题在数字电路的测试领域具有非常重要的地位，不仅影响产品的生产设计成本，而且是评价产品可靠性的重要环节。.传统的ATPG求解方法不仅很难求解规模较大...
基于优化ATPG的可测试性设计与实现.何曦.【摘要】：自动测试模式产生(AutomaticTestPatternGeneration:ATPG)技术在针对芯片制造缺陷的生产测试中得到广泛应用。.ATPG作为测试向量的生成工具,它能根据输入的故障模型,生成简洁、高覆盖率的测试向量(TestVectors...
数字系统测试与可测性设计实验指导书-ATPG应用.《数字系统测试与可测性设计》实验指导书（二）实验教师：2012实验名称和目的实验名称：ATPG应用实验目的：了解Mentor公司的FastScan-(ATPG生成工具)业界最杰出的测试向量自动生成工具。.了解测试各种基准...
·论文结构第11-12页第2章ATPG的应用以及主要算法介绍第12-23页·ATPG简介第12页·ATPG的应用及过程第12-13页·ATPG技术的应用第12-13页·ATPG的主要过程第13页·ATPG主要求解算法第13-22页第13-18
并行ATPG算法理论与原型系统设计技术研究-测试是超大规模集成电路(VLSI，VeryLargeScaleIntegrationCircuits)设计中不可缺少的重要环节。随着VLSI电路复杂性的增长，自动测试生成(ATPG，AutomaticTestPatternGeneration)的时间开...
豆丁网是面向全球的中文社会化阅读分享平台，拥有商业,教育,研究报告,行业资料,学术论文,认证考试,星座,心理学等数亿实用...
AutomaticTestPatternGenaration(ATPG)自动测试图形向量生成是在半导体电器测试中使用的测试图形向量由程序自动生成的过程。测试向量按顺序地加载与器件的输入脚上，输出的信号被收集并与预算好的测试向量相比较从而判断测试的结果。ATPG...
数字系统测试与可测性设计实验指导书-ATPG应用数字系统测试与可测性设计实验指导书-ATPG应用_理学_高等教育_教育专区。《数字...可测试性设计与ATPG74页2下载券DFT,ATPG,andBIST26页免费...实用模拟BIST的基本原则
基于ATPG的可测性设计在RSICCPU的应用.pdf更多下载资源、学习资料请访问CSDN文库频道.通过一款高性能复杂混合信号SoC芯片的延迟测试的成功应用，描述了从芯片对延迟测试的可复用的时钟产生逻辑的实现，到使用ATPG工具产生延迟图形，在...
【摘要】：目前布尔逻辑已成为计算机科学的重要理论基础之一,是研究人类思维规律的重要工具。文章提出了一种系统化的布尔逻辑的代数表示方法,其基本思想是把布尔集合用一组多项式来表示,在此基础上定义完备的逻辑运算符集。文章对该方法在可满足性问题(SAT)求解和测试模式自动生成(ATPG)中...
国防科学技术大学研究生院学位论文摘要测试是超大规模集成电路(VLSI,VeryLargeScaleIntegrationCircuits)设计中不可缺少的重要环节。随着VLSI电路复杂性的增...
Magma发表物理实现相关的ATPG与片上扫描链压缩_信息与通信_工程科技_专业资料。微捷码(Magma)设计自动化公司发表了有片上扫描链压缩功能的TalusATPG与TalusAT...
论文分享敌障诊断5测试面向ATPG的ROM模型鞠艳秋,成本茂,FaultDiagnosis&Testing王红,杨士元(清华大学自动化系,北京100084)摘要:分析了结构化的测试生成对于只读...
ATPG的应用有两种,一种是面向组合逻辑(combinational109ic)电路,搜索测试向量,需要用到D算法或着PODEM算法就可以了;另一种是面向时序(sequentiallogic)电路,...
本论文在布尔过程理论基础上,讨论延迟分析和波形模拟方面的新方法。首先,对模拟过程中的一些关键问题和预处理算法进行了处理,包括布尔过程中使用的各种门级延迟模型、组合逻...
基于SAT的高速互连通路串扰时延故障的ATPG算法研究-仪器仪表工程专业论文.docx,摘要摘要随着高速电路中互连线设计尺寸和距离的不断减小,以及芯片的工作速率...
在形式验证和ATPG中的布尔可满足性问题下载积分:1500内容提示:第15卷第10期2003年10月计算机辅助设计与图形学学报JOURNALOFCOMPUTER-AIDEDDESIGN&...
万方数据合肥工业大学IIIIIlUl1111111IIIIIIIIIIIIIIIIIY3196216专业硕士学位论文基于ATPG的电路抗老化输入矢量控制研究作者姓名:猩蕉指导教师:塞』...
密级桂林电子科技大学硕士学位论文题目数字电路的位级并行研究(英文)(英文)研究生学号:研究生姓名:秦李青指导教师姓名、职务指导教师姓名、职务:颜学龙教授申请...
【摘要】:自动测试产生(ATPG)不仅应用于芯片测试向量生成,也是芯片设计验证的重要引擎之一提出了一种组合电路测试产生的代数方法,既可作为组合验证的ATPG引...