Use of time functions to describe and explain circuit behaviour

The paper illustrates the use of a mechanical model for describing the time behaviour of hardware. In this model, any variable is represented by a function of time, giving the value of the variable at each instant. Some tools are introduced for describing such functions, and the use of function algebra, for reasoning about hardware descriptions, is illustrated.