Communicating processes in designing asynchronous circuits

Asynchronous circuits are circuits that operate without a common global clock. They are potentially suitable for low-power devices. This paper describes an approach to verify speed-independent asynchronous circuits by using a protocol validation tool.<
>