Programming Research Group
Technical Report TR-6-00
A calculus of signals
C. Ratzko and
J.W. Sanders
October 2000, 14 pp.
Abstract
An elementary theory is proposed for reasoning about circuits at the timed level. Its relationship to
traditional differential calculus is explored; it is applied to the analysis of circuits with feedback;
and algorithms for detection of transients and hazards are given. Finally a small case study, of a
positive-edge-triggered register, is presented. Emphasis is on the use of laws which draw on the
intuition gained from traditional differential calculus.
This paper is available as a 102999 bytes
gzipped PostScript file .