Testing and Diagnosis of Faults in Template-Based Asynchronous Circuits

Behnam Ghavami1,  Hamid_Reza Zarandi1,  Arezoo Salarpour2,  Hossein Pedram1
1Amirkabir University of Technology, 2University of Science and Technology


This paper presents an intrinsically verifiable library of Quasi Delay Insensitive asynchronous templates providing an efficient debugging platform for large asynchronous circuits. We proposed using State Transition Graph to determining necessary properties which must be checked. For every template of a Pre-Charged Full Buffer library, we defined PSL properties which are used as monitors verifying correctness of necessary handshaking protocols between templates under simulation. Experimental results show that with a 8% increase in simulation time, all faults in handshaking protocols can be detected.