Asynchronous circuit design has been studied for decades, but it has only recently been feasible to construct large and eecient asynchronous systems. This paper surveys diierent techniques for checking whether an asynchronous circuit has fabrication defects. The inherent diierences between asynchronous and synchronous circuits, primarily that asynchronous circuits do not have a global clock, ne...