Login | Register

Testing of delay-insensitive circuits using protocol extraction strategies


Testing of delay-insensitive circuits using protocol extraction strategies

Lam, Ping Ngai (1996) Testing of delay-insensitive circuits using protocol extraction strategies. PhD thesis, Concordia University.

[thumbnail of NQ25934.pdf]
Text (application/pdf)


Delay-insensitive (DI) circuits are asynchronous circuits whose functional correctness is independent of the delays in their components and the interconnecting wires. The environment and circuit module follows a specified usage protocol, sometimes called handshake signals. It has been believed that purely DI circuits are easy to test because any fault will prevent the generation of an acknowledge signal. We show that this is not always true under a general set of components. A Petri net fault model is used to reveal the possibility of critical races/hazards during test. A design for test method using observation points is shown which guarantees 100% fault coverage, and structural theorems are proved which can reduce/eliminate these observation points. No automated techniques exist so far for reducing the test length of these circuits, in particular, two-phase transition signaling circuits which contain implicit state encoding. Since there can be very few combinational components, classic scan design would not apply. A theory for control point insertion is presented for test length reduction. The major difficulty is in deriving a safe hazard-free test; the specified usage protocol does not directly apply because of the alterations made. Algorithms based on partial order protocol extraction and partial states are presented which produce provably correct test behaviors. Finally, an impossibility result is proved for fault tolerance in the most common class of DI circuit.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (PhD)
Authors:Lam, Ping Ngai
Pagination:ix, 184 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Ph. D.
Program:Computer Science and Software Engineering
Thesis Supervisor(s):Li, H. F
Identification Number:TK 7868 A79L36 1996
ID Code:215
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:10
Last Modified:13 Jul 2020 19:46
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top