Asynchronous systems have been shown to exhibit a number of inherent advantages.
The asynchronous design is strongly different from current methods of a synchronous design and is more complicated.
The project is aimed at developing theory and methods for automated asynchronous circuit design, consisting of a set of efficient and effective synthesis and verification algorithms. These algorithms have to form the basis of CAD system for asynchronous design support.