A calculus of signals

Author

Ratzko, C. ; Sanders, J.W.

Author_Institution

Programming Res. Group, Oxford Univ., UK

Volume

1

fYear

2000

fDate

2000

Firstpage

399

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Electronics, Circuits and Systems, 2000. ICECS 2000. The 7th IEEE International Conference on

Conference_Location

Jounieh

Print_ISBN

0-7803-6542-9

Type

conf

DOI

10.1109/ICECS.2000.911565

Filename

911565