NULL Convention Logic/sup TM/: a complete and consistent logic for asynchronous digital circuit synthesis
Top Cited Papers
- 23 December 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
NULL Convention Logic (NCL) is a symbolically complete logic which expresses process completely in terms of the logic itself and inherently and conveniently expresses asynchronous digital circuits. The traditional form of Boolean logic is not symbolically complete in the sense that it requires the participation of a fundamentally different form of expression, time in the form of the clock, which has to be very carefully coordinated with the logic part of the expression to completely and effectively express a process. We introduce NULL Convention Logic in relation to Boolean logic as a four value logic, and as a three value logic and finally as two value logic quite different from traditional Boolean logic. We then show how systems can be constructed entirely in terms of NULL Convention Logic.Keywords
This publication has 2 references indexed in Scilit:
- An efficient implementation of Boolean functions as self-timed circuitsIEEE Transactions on Computers, 1992
- MicropipelinesCommunications of the ACM, 1989