ABSTRACT Asynchronous circuits show potential interest from many aspects. However
modeling, analysis and optimization of asynchronous circuits are stumbling blocks to spread
this technology on commercial level. This thesis concerns the development of asynchronous
circuit modeling method which is based on analytical models for the underlying
handshaking protocols. Based on this modeling method, a fast and accurate circuit analysis
method is developed. This analysis provides a full support for statistically variable delays ...