loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
K.M. Fant, Theseus Logic Inc., St. Paul, MN, USA
S.A. Brandt, Theseus Logic Inc., St. Paul, MN, USA
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
Usage of this product signifies your acceptance of the Terms of Use.