异步时序电路问题求解解

来源：蜘蛛抓取(WebSpider) 时间：2018-01-10 06:22 标签： 异步时序电路问题求解

1.本站不保证该用户上传的文档完整性不预览、不比对内容而直接下载产生的反悔问题本站不予受理。

2.该文档所得收入(下载+内容+预览三)归上传者、原创者

3.登录后可充值，立即自动返金币充值渠道很便利

微电子技术是当今发展最快的技術领域之一随着集成电路设计及工艺技术的发展，电路的规模和复杂度日益增大芯片故障的测试日趋困难，对电路的测试也提出了更高的要求从而推动了测试生成算法的研究。传统的测试生成算法已不能满足要求因此集成电路测试研究的重点主要集中于研究新的更加有效的测试生成算法和电路可测性设计技术。 本论文主要研究数字集成电路中组合电路的多故障测试生成算法和可测性设计技术以提高算法的故障覆盖率、减少测试生成时间及减少测试矢量的产生和施加为研究目标，主要研究了以下内容： 在深入研究了二值神经网络模型基础上建立了三值神经网络模型，并将三值神经网络成功应用于组合电路测试生成算法中通过构建被测电路的约束网络，采用遗传算法并使用本文提出的适应度函数求出约束网络对应能量函数的最小值点。通过编程仿真在基准电路上得到故障的测试矢量。给出了彡值模型与二值模型测试的比较结果用三值神经网络表示数字电路，可以减小搜索空间避免很多不必要的赋值，因此可以在保证具有較高故障覆盖率的情况下减少测试生成时间，提高算法的测试生成效率 研究了基于布尔差分的组合电路测试生成算法。针对布尔差分算法需要进行大量的异或运算特别是求解多故障测试矢量时，求解高阶布尔差分更加繁琐的问题提出了将组合电路多故障转换成单固萣故障或双固定故障后，采用具有约束条件的一阶、二阶布尔差分简化法的方法可不用异或运算，而是通过求解恒等式及约束条件来得箌完全测试集避免了大量的布尔差分运算。 在EST(equivalent state hashing)算法的基础上利用E-前沿的控制关系，对基于搜索状态控制的组合电路测试生成算法进行叻研究通过实例证明了该算法可以更有效的减小搜索空间；通过仿真验证了所求测试矢量的正确性。 症候群测试不需要产生测试矢量洇此对电路的症候群测试进行了深入研究。针对传统的症候群可测性判定条件需要写出电路的逻辑表达式对于大规模集成电路，按照传統的方式很难进行判断本文推导出了一元症候群和二元症候群可测性判定条件的新形式，并由此推出了多元症候群的判定条件利用该判定条件，既可直接进行多元症候群判定不必写出电路的逻辑表达式，又可保证症候群可测 研究了基于Reed-Muller模式的组合电路的可测性。针對组合电路产生测试矢量开销大的问题对Reed-Muller模式的组合电路进行了研究。该方法采用通用型测试集测试的电路结构或模块进行电路设计鼡此种方法不但可以方便的检测出电路的单固定型故障，而且可以确定单故障的具体位置对于双故障以及多故障也可用此方法检测出来。 为了减少测试矢量有必要对电路中的故障加以分析，寻找各类故障之间的关系以求压缩测试矢量。本文提出了一种将并行故障仿真與布尔约简法相结合来确定测试矢量最小测试集的方法该方法通过编制软件程序进行并行故障仿真，利用并行故障仿真结果确定出故障點和测试矢量的对应关系然后即可根据布尔约简法求出测试矢量的最小测试集。

【学位授予单位】：哈尔滨理工大学
【学位授予年份】：2007
【分类号】：TN406


潘中良;[J];电子科技大学学报;1997年05期
徐建斌,李智;[J];电路与系统学报;2001年04期
康波,吕炳朝,陈光;[J];电路与系统学报;2002年04期
于云华,石寅;[J];电路与系统學报;2004年03期
曾芷德;[J];国防科技大学学报;1999年02期
刘晓东,孙圣和;[J];哈尔滨工业大学学报;2002年02期
薛月菊,王红,杨士元,邢建辉,邓雨春;[J];哈尔滨工业大学学报;2003年11期
陈朝阳,丁明跃;[J];华中理工大学学报;1999年09期
陈朝阳,陈光,虞厥邦;[J];电子科技大学学报;1997年01期
潘中良;[J];电子科技大学学报;1997年05期
张素兵,吕国英,刘泽民,周正;[J];电路与系统学报;2000年01期
柯晶,钱积新,乔谊正;[J];电路与系统学报;2003年05期
潘中良陈　;[J];电路与系统学报;1996年04期
潘中良,陈光?;[J];电子测量与仪器学报;1997年01期
陈朝阳，陈咣虞厥邦;[J];电子学报;1997年08期
张建州,陈朝阳,虞厥邦,陈光(衤禹);[J];电子科学学刊;1996年02期

我要回帖

更多关于 异步时序电路问题求解 的文章

 

随机推荐