Title :
Online testing by protocol decomposition
Author :
Koppad, Deepali ; Sokolov, Danil ; Bystrov, Alex ; Yakovlev, Alex
Author_Institution :
Sch. of EECE, Newcastle Univ., Tyne
Abstract :
Comparison between synchronous and asynchronous models leads to a protocol-based fault model for asynchronous circuits. Protocol monitoring of the control path is separated from data comparison in the data path. A novel protocol decomposition technique is used to extract simple protocols from behaviour of a complex circuit. This technique is implemented as a software tool. An asynchronous checker model, implementation and simulation results are presented. Coverage of internal faults of the checker is calculated
Keywords :
asynchronous circuits; fault simulation; integrated circuit testing; software tools; asynchronous circuits; complex circuit behavior; control path; data comparison; data path; internal faults; online testing; protocol decomposition; protocol monitoring; protocol-based fault model; software tool; synchronous models; Asynchronous circuits; Circuit faults; Circuit simulation; Circuit testing; Data mining; Labeling; Monitoring; Protocols; Signal design; Software tools;
Conference_Titel :
On-Line Testing Symposium, 2006. IOLTS 2006. 12th IEEE International
Conference_Location :
Lake Como
Print_ISBN :
0-7695-2620-9
DOI :
10.1109/IOLTS.2006.45
