文档库 最新最全的文档下载
当前位置:文档库 › 基于量子元胞自动机的PLA故障分析和检测_李政操

基于量子元胞自动机的PLA故障分析和检测_李政操

基于量子元胞自动机的PLA故障分析和检测_李政操
基于量子元胞自动机的PLA故障分析和检测_李政操

2012年9月 微纳电子技术第49卷第9期基于量子元胞自动机的PLA故障分析和检测

李政操,蔡 理,杨晓阔,张明亮,陈祥叶

(空军工程大学理学院,西安 710051

)摘要:量子元胞自动机(quantum-dot cellular automata,QCA)可编程逻辑阵列(prog

ramma-ble logic array,PLA)结构可用于实现大规模可编程逻辑电路。分析了4种故障类型发生在PLA单元的8个区域中的影响,得出了具体的影响效果。其中,直接或间接致使隐含线和与门发生逻辑错误的故障均会导致PLA中故障所在行整行失效,其他故障只会影响故障所在的PLA单元的逻辑功能和配置,而对PLA中的其他单元没有影响。此外,基于故障分析,提出了具体的PLA故障检测方法。

关键词:量子元胞自动机(QCA);可编程逻辑阵列(PLA);故障分析;故障检测;逻辑电路中图分类号:O471.1;TN4 文献标识码:A 文章编号:1671-4776(2012)09-0571-06

Fault Analy

sis and Detection of PLA Based onQ

uantum-Dot Cellular AutomataLi Zhengcao,Cai Li,Yang Xiaokuo,Zhang 

Mingliang,Chen Xiangye(College of Science,Air Force Engineering University,

Xi'an 710051,China)Abstract:The programmable logic array(

PLA)structure based on quantum-dot cellular automa-ta(QCA)can be used in large scale programmable logic circuit.Effects for four kinds of faultsoccuring in 8 districts of the PLA unit were analyzed,and concretely aftereffects were intro-duced.Faults leading the implicant wire and AND gate into the logic error directly or indirectlywill invalidate the whole fault row of the PLA,the other faults will only influence the logic func-tion and configuration of the PLA unit with faults,and have no effect on the other units of thePLA.Moreover,based on the fault analysis,a method for the fault detection of the PLA wasp

resented.Key words:quantum-dot cellular automata(QCA);programmable logic array(PLA);faultanalysis;fault detection;log

ic circuitDOI:10.3969/j

.issn.1671-4776.2012.09.002 EEACC:25700 引 言

量子元胞自动机(quantum-dot cellular au-tomata,QCA)

[1]

是一种新兴的纳电子器件,其工作机理基于量子隧穿效应,可突破半导体技术所遇到的物理极限。由QCA构成的集成电路具有超高集成度、极低功耗和无引线集成等优点,而且尺寸可朝着分子级方向发展,在未来的纳米级电路中,

收稿日期:2012-03-22

基金项目:国家自然科学基金(61172043);陕西省自然科学研究计划重点项目(2011JZ015)E-mail:li_zheng

cao@sina.com1

75Devices and Technology 器件与技术

gy

Micronanoelectronic Technology 

Vol.49 No.9 September 2012它将是极具竞争力的电子器件之一。1 QCA基本逻辑电路

图1(a)为静电QCA元胞[1]

,它由隧道结、

量子点和电子组成,其角上的4个圆圈表示量子点,两个电子用黑色圆圈表示,可以通过隧道结在元胞内的量子点之间隧穿。由于库仑排斥作用,两个电子占据元胞对角的位置。这就产生了两个稳态配置,即元胞极化率P=-1和P=+1,分别代表逻辑“0”和逻辑“1”,如图1(a)所示。QCA元胞的直线排列形成QCA信号线,信号线中邻近元胞的相互作用形成了信息的流动,图1(b)中所示信号线表示了逻辑“0”信号的传递,箭头代表信息传输的方向。图2(a)与(b)所示分别为QCA择多逻辑门

[2]

和其逻辑符号,其中A,B,C

为择多逻辑门的3个输入变量,F为输出变量,择多逻辑门的逻辑功能为F(A,B,C)=AB+AC+

BC。通过固定择多逻辑门一个输入可以实现逻辑

与和逻辑或操作,即F(A,B,0)=AB,F(A,B,1)=A+B。

(b )

二元线

图1 QCA元胞和二元线Fig.1 QCA cell and binary 

wire

(a )择多逻辑门

(b )逻辑符号

图2 QCA择多逻辑门Fig.2 QCA majority 

gate基于量子元胞自动机的基本逻辑电路已经设计

出,如反相器[

2]、全加器[3-5]、乘法器[6]

、数值比较器[7]

等。M.Crocker等人[8]设计了一种可编程逻

辑阵列(prog

rammable logic array,PLA)结构,这种结构可以根据不同的需要,多次重复进行不同的配置,来实现不同的逻辑功能。此外,PLA本身还具有容错功能,这对于提高QCA电路的可靠性也具有重要作用。

2 QCA可编程逻辑阵列

如图3所示,PLA单元由两个择多逻辑门、两个输入端、一个选择端和一个输出端构成,通过固定上下端两个元胞极化率的方法,可以将两个择多逻辑门固定成与门和或门。图4所示为PLA单元的逻辑符号,其中I1,I2,O,S分别为隐含输入变量、直接输入变量、输出变量和选择变量。如图3所示,与门排列在隐含输入、输出端的PLA

含输出选

择端(b )或平面的PLA 单元(或模式)

图3 PLA单元Fig

.3 PLA units275 李政操等:基于量子元胞自动机的P

LA故障分析和检测 

2012年9月 微纳电子技术第49卷第9期单元,为与平面的PLA单元,反之为或平面的PLA单元。PLA单元的编程是通过配置选择端S的值来实现的,在与平面中,若S=0,则O=

I1·I2;若S=1,则O=I1。即当S=0时,PLA单元实现逻辑与功能;当S=1时,PLA元胞实现导线功能。在或平面中,当S=1时,PLA元胞实现逻辑或功能,如图3(b)所示;当S=0时,PLA元胞实现导线功能。

O

S

I 2

I 1

O

S

I 2I 1

(b )或平面的PLA 单元逻辑符号

(a )与平面的PLA 单元逻辑符号

+

+

图4 PLA单元逻辑符号Fig.4 PLA unit logic sy

mbols将与平面的PLA单元和或平面的PLA单元互连,即可组成PLA结构,该结构的左半面为与平面,右半面为或平面。PLA结构可以通过控制选择端S的值针对不同的应用需求多次重复编程,在与平面,采用按行编程的办法,而在或平面则按列编程。增加与平面和或平面的行数和列数可以实现PLA结构的扩展。

作为一种新兴器件,QCA电路的制备工艺还不够完善,在制备过程中不能避免制备缺陷的发生,造成PLA结构中存在各种故障,导致PLA的逻辑运算出现错误。各种故障会对PLA单元和整个PLA造成哪些后果,在PLA应用之前,怎样检测故障,都是需要进行解决的实际问题。

3 PLA故障分析与检测

3.1 PLA故障分析

从故障造成的后果看,有且只有4种情况,即造成逻辑值不确定、逻辑值反向、固定在逻辑“1”和固定在逻辑“0”的故障。每种故障发生在PLA

单元的不同位置,影响是不同的,因此,将PLA单元分为8个区域,分别为隐含线、中间线、直接

线、选择线、与线、或线、与门和或门,如图5

[9]

所示。

+

与线

图5 PLA单元区域划分Fig

.5 Districts of the PLA unit基于PLA单元内部的逻辑关系,表1给出了各种故障出现在不同位置时对PLA单元及整个阵列的影响结果。其中,F表示完全故障,此种故障不仅会使故障所在的PLA单元出现逻辑错误,而且会导致PLA整个故障所在行不可用;W表示故障会影响故障所在的PLA单元,该单元不能实现完整的PLA功能,只能工作在导线模式,而对其他单元及整个PLA的正常工作没有影响;L表示表1 器件故障对与平面PLA单元功能的影响

Table 1 Effects of device faults on AND p

lanePLA cell op

erationQCA器件位置与平面故障不确定故障

反演故障

固定“0”故障固定“1”故障与线F F正常情况

F或线F F F正常情况

直接线W W W W隐含线F F F F选择线(1)(2)L W中间线F(3)F W与门F F F F或门

(4

)F 

75 李政操等:基于量子元胞自动机的P

LA故障分析和检测 

Micronanoelectronic Technology 

Vol.49 No.9 September 2012故障会影响故障所在的PLA单元,该单元不能实现完整的PLA功能,只能工作在逻辑门模式,同样对其他单元及整个PLA的正常工作没有影响。表1中(1)表示发生该故障的PLA单元不能实现完整的逻辑功能,仅可以工作在导线模式,使数据正常传输,且必须使直接线输入“1”;表1中(2),(3),(4)表示发生该故障的PLA单元可以工作在任何状态,但S必须反向配置。从表1可以看出,PLA对故障最为敏感的位置是隐含线和与门的元胞,从单个PLA单元看,不论是工作在导线模式还是逻辑门模式,隐含线和与门与整个PLA单元的输出结果关系最为直接,任何故障都会导致PLA单元出现逻辑错误;从阵列整体看,无论故障位置是在隐含线的输入端还是输出端,均会影响整行的逻辑错误,致使故障所在的行不可用,换言之,任一个出现在隐含线和与门的元胞出现故障,将导致其所在行失效。此外,中间线等其他区域的部分故障同样会导致整行失效。而直接线

故障对PLA的影响最小,从单个PLA单元看,直接线与单元的输出之间为间接关系,且在导线模式下,直接线的逻辑值是无效值;从阵列整体看,若某一个直接线出现故障,可以使其工作在导线模式下,在其下一列直接线输入中完成所需的逻辑功能。3.2 PLA故障检测

以三行四列的与平面和三行两列的或平面组成的PLA结构为例,如图6所示,设TL1,TL2,

TL3分别为阵列左侧与平面3个端口的输入变量,TR1,TR2,TR3为阵列右侧或平面3个端口的输入变量,TT1~TT6为上面端口的输入变量,第一列

O11,O21,O31分别为所在与平面的隐含线输出变量亦下一列隐含线输入变量,第二列、第三列与第一列相同,第四列O14,O24,O34分别为所在与平面的隐含线输出变量且是或平面所在行的直接线输入变量,TB1~TB4端口与TT1~TT4等同,TB5,

TB6为输出端逻辑变量,每个PLA单元的选择端变量命名如图6所示。

图6 PLA结构

Fig

.6 PLA structure 基于表1的分析结果,以与平面为例,PLA的故障检测可按下列步骤进行。

第一步,中间线检测。使中间线3个元胞的下端分别输入“0”和“1”并重复,检测中间线的逻辑状态,若出现不确定故障,则与门的3个输入为:隐含输入、“0”和不确定,PLA单元的隐含输出端值无法确定,因此会出现导致整行失效的严重后果;若出现固定“0”故障,则与门的3个输入为:隐含输入、“0”和“0”,PLA单元隐含输

出端的值则永远为“0”,同样会出现导致整行失效的严重后果,其所在行不需要再进行下面的检测;若出现反演故障,在其他部分完好的情况下,则PLA单元可以实现全部的逻辑功能,但其S必须反向配置;若出现固定“1”故障,则与门的3个输入为:隐含输入、“0”和“1”,隐含输出端的值取决于隐含输入的值,因此PLA单元不能实现完整的逻辑功能,在其他部分完好的情况下,只能工作在导线模式。

475 李政操等:基于量子元胞自动机的P

LA故障分析和检测 

第二步,选择线检测。为每一个选择端S分别多次重复赋值“0”和“1”,检测选择线的逻辑状态。若选择线出现不确定故障,则或门的3个输入为:直接输入、“1”和不确定,因此PLA单元不能实现完整的逻辑功能,在其他部分完好的情况下,仅可以工作在导线模式,使数据正常传输,且必须使直接线输入“1”;若选择线出现反演故障,在其他部分完好的情况下,则PLA单元可以实现全部的逻辑功能,但其S必须反向配置;若选择线出现固定“0”和固定“1”故障,则PLA单元不能实现完整的逻辑功能,在其他部分完好的情况下,相应的只能分别工作在逻辑模式和导线模式。

第三步,直接线检测。使直接线分别输入“0”和“1”并重复,检测直接线的逻辑状态。或门的3个输入分别为直接线输入、选择端输入和“1”,在直接线存在故障的情况下,不论是哪种故障类型,在其他区域完好的情况下均只能实现导线模式,即选择端输入为“1”,确保或门向中间线的信号传递固定为“1”,只实现导线功能,这样可避免直接线故障影响整行的PLA单元。

第四步,或门检测。将或线元胞极化率固定为“1”,即逻辑“1”,令直接输入和选择端输入“1,0”,“0,0”和“1,1”三种组合,为检测反演故障和不确定故障,应重复输入,检测或门的逻辑状态,若或门为不确定故障或固定“0”故障,则会影响到隐含线的逻辑状态,因此会发生致使整行失效的严重故障,此时,故障行不需要继续进行后面的检测;若发生固定“1”故障,在其他区域完好的情况下只能实现导线模式,不能完整地实现PLA单元的逻辑功能;若发生反演故障,在其他区域完好的情况下,可以完整实现PLA的逻辑功能,但S必须反向配置。

第五步,隐含线检测。令与平面所有PLA单元的选择端S=1,则与平面中的每一个PLA单元均工作在导线模式,使TL1,TL2,TL3分别输入

“0”和“1”,若两种输入均满足T

L1=O14,T

L2=

O24,TL3=O34,则隐含线无故障,若某一行不满足,则此行存在故障,不论是哪种故障,整行均不

可用。

第六步,与门检测。将与线元胞极化率固定为“-1”,即逻辑“0”,令直接线和中间线输入“1,0”,“1,1”,“0,0”三种组合并重复,检测与门的逻辑状态。因与门的工作状态直接影响到隐含线输出,因此不论发生哪种故障,均会导致故障所在行整行失效。

与线和或线为固定极化率的单个元胞,分别是固定极化率-1和1,即逻辑“0”和逻辑“1”,因此,相应的不存在固定“0”错误和固定“1”错误。与线和或线均为单个固定极化率元胞,在检测中不需要考虑不确定故障、反演故障和固定逻辑状态故障。

4 结 语

本文所提的故障检测方法基于PLA单元内部的逻辑关系,将PLA单元分成8个区域,分别讨论4种故障对PLA单元和PLA所造成的影响。总体的检测顺序是从下向上,可保证在检测隐含线和与门之前,来自中间线的输入逻辑值正确(中间线、或门、直接线和选择线无故障)或可知(若存在故障,可得出分析结果),从而可准确判断故障位置及影响后果,且所需的检测步骤最少。

PLA可以多次重复编程,实现不同的多输入、多输出逻辑功能,优于实现单一功能的逻辑电路,一个PLA结构的多次使用,可以节约制备成本。对于QCA电路共同存在的制备缺陷问题,PLA也有了统一的检测方法,得出了检测结果之后,利用其自身的冗余结构,即可以实现容错应用。

参考文献:

[1] LENT C S,TOUGAW P D,POROD W,et al.Quantum cel-lular automata[J].Nanotechnology,1993,4(1):49-57.[2] TOUGAW P D,LENT C S.Logical devices implemented usingquantum cellular automata[J].J Appl Phys,1994,75(3):

1818-1825.

[3] 王森,蔡理,郭律.基于量子细胞自动机的全加器实现[J].固体电子学研究与进展,2005,5(2):148-151.[4] CHO H,SWARTZLANDER E E.Adder designs and analysesfor quantum-dot cellular automata[J].IEEE Trans on Nano-

 李政操等:基于量子元胞自动机的PLA故障分析和检测 

2012年9月 微纳电子技术第49卷第9期

Micronanoelectronic Technology 

Vol.49 No.9 September 2012technology

,2007,6(3):374-383.[5] CHOI M,CHOI M.Scalability of globally 

asynchronous QCA(q

uantum-dot cellular automata)adder design[J].Journal ofElectronic Testing:Theory and Applications,2008,24(1/2/3):313-320.

[6] HEUMPIL C H,SWARTZLANDER E E.Serial p

arallel mul-tiplier design in q

uantum-dot cellular automata[C]//Pro-ceedings of the 18th 

IEEE Symposium on Comp

uter Arithme-tic.Montp

ellier,France,2007:7-15.[7] 夏银水,裘科名.基于量子细胞自动机的数值比较器设计

[J].电子与信息学报,2009,31(6):1517-1520.[8] CROCKER M,HU X S,NIMIER M,et al.PLAs in q

uan-tum-dot cellular automata[J].IEEE Transactions on nana-technology

,2008,7(3):376-386.[9] CROCKER M,HU X S,NIEMIER M.Defects and faults 

inQCA-based PLAs[J].ACM Journal on Emerging Technolo-gies in Computing 

Systems,2009,5(2):8-1-8-12.蔡理(1959—),女,福建永春人,

博士,教授,博士生导师,现为国家自然科学基金委员会评议专家,《空军工程大

学学报》

(自然科学版)编委,同时担任

多家国内外学术期刊的审稿人,主要从事纳电子器件的理论及其应用以及电离与系统等方面的研究,承担并完成国家和省部级科研项目8项。

作者简介:

李政操(1986—),男,辽宁兴城人,硕士研究生,主要研究方向为纳电子器件与电路的实现、容错设计和缺陷研究

;

檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪檪(上接第570页)

[5] ZIEGISCHMID V,NOLLMAN C,BOCHER O.Detection 

ofdisseminated tumor cells in peripheral blood[J].Crit RevClin 

Lab,2005,42(2):155-196.[6] KRIVACIC R T,LADANYI A,CURRY D N,et al.A rare-

cell detector for cancer[J].Proc Natl Acad Sci USA,2004,101(29):10501-10506.

[7] CHIN C D,LINDER V,SIA S K.Lab-on-a-chip 

devices forglobal health:past studies and future opportunities[J].LabChip

,2006,7(1):41-57.[8] MCCLOSKEY K E,ZBOROWSKIM M,CHALMER J,et 

al.Magnetic cell separation:characterization of magnetophoreticmobility[J].Anal Chem,2003,75(24):6868-6874.[9] 徐辉,张国亮,张凤宝.免疫磁性微球的研究进展[

J].化学工业与工程,2003,20(1):27-32.

[10] NAGRATH S,SEQUIST L V,MAHESWARAN S,et al.Iso-

lation of rare circulating tumour cells in cancer patients by micro-chip 

technology[J].Nature,2007,450(20):1235-1239.[11] ANDR A A,PAUL I O,JUAN F,et al.Highly 

efficientcirculating tumor cell isolation from whole blood and label-free enumeration using polymer-based microfluidics with anintegrated conductivity sensor[J].Am Chem Soc,2008,130(27):8633-8641.

[12] 潘欣欣.基于磁珠技术的微流控生物芯片系统的研究[

D].上海:上海交通大学,2007.

[13] 苑玮琦,张田文.血细胞图像的计数方法研究[

J].计算机应用与软件,2000,17(5):61-65.

[14] GONZALEZ R 

C.数字图像处理(MATLAB版)[M].北京:电子工业出版社,2009:219-220.

[15] 张孟军,舒红,刘艳.基于空间曲面拟合的自适应阈值选取

方法[J].武汉大学学报信息科学版,2006,31(5):395-397.

[16] 李宗林,罗晓辉,蒋爱德.显微细胞的图像分析技术[

J].机械工程与自动化,2006(1):146-148.

[17] WIRJADI O,KIM Y J,BREUEL T,et al.Sp

atial statisticsfor tumor cell counting and classification[J].Lecture Notesin Comp

uter Science,2009,5748:492-501.[18] KACHOUIE N N,KANG L F,KHADEMHOSSEINI 

A,etal.Arraycount,an algorithm for automatic cell counting inmicrowell arrays[J].Biotechniq

ues,2009,47(3):x-xvi.李以贵(1965—),男,江西广昌人,教授,博士生导师,主要研究方向为微传感器与微执行器以及BioMEMS 。

作者简介:

钱伶琳(1985—),女,江苏张家港人,硕士,主要研究方向为微流控芯片和图像处理

675 李政操等:基于量子元胞自动机的P

LA故障分析和检测 

相关文档