Title :
A calculus of signals
Author :
Ratzko, C. ; Sanders, J.W.
Author_Institution :
Programming Res. Group, Oxford Univ., UK
Abstract :
An elementary theory is proposed for reasoning about circuits at the timed level. Its relationship to traditional differential calculus is indicated; it is applied to the analysis of circuits with feedback; and it yields algorithms for detection of transients and hazards. 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
Keywords :
Boolean algebra; asynchronous circuits; differentiation; hazards and race conditions; switching theory; timing; transient analysis; Boolean-valued signals; algorithms; asynchronous design; calculus of signals; circuits with feedback; differential calculus; differentiation; elementary calculus; hazards detection; positive-edge-triggered register; reasoning about signals; synchronous design; timed gates; timed level reasoning; transients detection; Algorithm design and analysis; Boolean algebra; Calculus; Circuit analysis; Feedback circuits; Hazards; Registers; Switching circuits; Transient analysis; Very large scale integration;
Conference_Titel :
Electronics, Circuits and Systems, 2000. ICECS 2000. The 7th IEEE International Conference on
Conference_Location :
Jounieh
Print_ISBN :
0-7803-6542-9
DOI :
10.1109/ICECS.2000.911565
