Examples of Models of the Asynchronous Circuits

TL;DR

This paper introduces models for asynchronous circuits, defining key properties like delays, determinism, and symmetry to better understand their behavior and design.

Contribution

It provides formal definitions of circuit delays and properties such as determinism, order, and symmetry, advancing the theoretical modeling of asynchronous circuits.

Findings

Formal definitions of delays and properties

Analysis of circuit determinism and order

Framework for modeling asynchronous circuits

Abstract

We define the delays of a circuit, as well as the properties of determinism, order, time invariance, constancy, symmetry and the serial connection.