|
Published Articles >> Table of Contents >> Abstract
Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC'00)
p. 73
DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits
Philip P. Shirvani, Stanford University
Subhasish Mitra, Stanford University
Jo Ebergen, Sun Microsystems Laboratories, Inc.
Marly Roncken, Intel Corporation
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASYNC.2000.836962
Send link to a friend
| Abstract |
|
This paper addresses the problem of fault collapsing in asynchronous circuits. We investigate different transistor-level implementations of some basic elements that are used in delay-insensitive asynchronous circuit designs, and analyze them in the presence of single stuck-at faults. From this analysis, we conclude that all internal stuck-at faults which are detectable by Boolean testing, can be represented as pin-faults. This abstraction makes it possible to perform fault simulation at the logic level (network of basic elements) rather than at transistor level, which reduces the simulation time.We show how this fault model, called DUDES, can be used for fault collapsing to reduce the size of fault lists at the logic level, thereby reducing the simulation time even further. We set the basis for a formal technique for deriving equivalence relationships among the faults under consideration, using trace expressions, and illustrate that this formal technique also supports fault collapsing at the system level. This framework can be expanded to a theory of fault abstraction and collapsing for asynchronous circuits that can reduce the complexity of test pattern generation and fault simulation.
|
 Additional Information
|
Index Terms- DUDES, asynchronous circuit, stuck-at fault, testing, fault collapsing, fault model, ATPG
Citation:
Philip P. Shirvani, Subhasish Mitra, Jo Ebergen, Marly Roncken,
"DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits,"
async,
p. 73,
Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC'00),
2000
|
|
