A FORMAL MODEL FOR DEFINING AND CLASSIFYING DELAY-INSENSITIVE CIRCUITS AND SYSTEMS

The author begins with an introduction to trace theory and discusses a composition operator, blending, in particular. Subsequently, he defines and classifies delay-insensitive components and illustrates the definitions with a number of examples. It turns out that, with this definition of delay-insensitivity, the specification of the composite of a set of properly composed delay-insensitive components can easily be expressed in terms of the specifications of the composing parts and the blend operator.