From molecular interactions to gates:
a systematic approach

Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper

Abstract
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulating individual atoms on metal surfaces. This paper presents a systematic approach to automate the design of logic gates using molecule cascades. Temporal logic is used to characterize molecular interactions and specify the behavior of logic gates. Model-checking techniques are used for the exploration of structures behaviorally equivalent to the logic gates. As an example, a complete library of combinational logic gates has been designed using a particular molecular system. This new approach provides a methodology to bridge the gap between physical chemists and computer scientists in seeking computational structures at atomic scales.

Categories and Subject Descriptors: B.6.3 [Hardware]: Logic Design - Design Aids.
General Terms: Algorithms, Design

Keywords: Nanocomputing, formal methods, nanocascades