Abstract:
This paper presents a novel approach for automatic test pattern generation
of asynchronous circuits.
The techniques used for this purpose assume that
the circuit can only be exercised by applying synchronous test vectors,
as is done by real-life testers.
The main contribution of the paper is the abstraction of the circuit's
behavior as a synchronous finite state machine in such a way that
similar techniques to those currently used for synchronous circuits can
be safely applied for testing.
Currently, the fault model being used is the input stuck-at model.
Experimental results on different benchmarks show that our approach
generates test vectors with high fault coverage.