1996 IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP'96)
NULL Convention Logic/sup TM/: A Complete And Consistent Logic For Asynchronous Digital Circuit Synthesis
Chicago, IL
August 19-August 23
ISBN: 0-8186-7542-X
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.
Index Terms:
multivalued logic; asynchronous circuits; NULL Convention Logic; consistent logic; asynchronous digital circuit synthesis; symbolically complete logic; asynchronous digital circuits; Boolean logic; four value logic; three value logic
Citation:
K.M. Fant, S.A. Brandt, "NULL Convention Logic/sup TM/: A Complete And Consistent Logic For Asynchronous Digital Circuit Synthesis," asap, pp.261, 1996 IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP'96), 1996