集成电路高层故障模型间关系分析方法

集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故障模型与门级固定型故障模型间关系可以建立高层故障模型的评估规则,在该规则下可以再对高层故障模型间关系进行分析,以确定彼此间的覆盖关系·归纳模型间的互相覆盖以确定彼此是否包含,这有助于对高层故障模型进行评估,寻找能够对应逼近门级固定型(stuck-at)故障模型的高层故障模型序列,该模型序列有望指导新的测试生成·最后,以对ITC99中标准时序电路的实验来说明该理论方法·

量子元胞自动机全加器的布尔差分测试法

根据布尔差分测试法的基本原理以及量子元胞自动机(QCA)的缺陷特性,提出一种适用于QCA的测试方法。以QCA 1位全加器为例,采用QCA Designer软件,验证该方法的有效性与可行性,并与Tahoori等人提出的QCA电路测试法进行比较。结果表明,新设计的布尔差分测试法具有高故障覆盖率和易测性等优点,对未来复杂QCA电路的测试有一定的借鉴作用。

基于量子元胞自动机容错全加器的设计

为提高新一代纳米器件量子元胞自动机(QCA)电路的稳定性及可靠性,提出了一种容错1位全加器,然后通过QCA Designer软件来仿真分析1位容错全加器,验证了该设计的可行性及它具有较好的容错性,该设计对复杂QCA电路的容错性的研究起到借鉴作用.