Article

From molecular interactions to gates: a systematic approach

Authors:

Jordi Cortadella,

Yousuke Takada,

Ferdinand PeperAuthors Info & Claims

ICCAD '06: Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design

Pages 891 - 898

https://doi.org/10.1145/1233501.1233688

Published: 05 November 2006 Publication History

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.

References

[1]

P. Avouris, J. Appenzeller, R. Martel, and S. Wind. Carbon nanotube electronics. Proc. of the IEEE, 91(11):1772--1784, 2003.

[2]

C. Bennett. The thermodynamics of computation---a review. International Journal of Theoretical Physics, 21(12):905--940, 1982.

[3]

G. Bourianoff. The future of nanocomputing. Computer, 36(8):44--53, August 2003.

Digital Library

[4]

R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293--318, 1992.

Digital Library

[5]

J. Burch, E. Clarke, D. Long, K. McMillan, and D. Dill. Symbolic model checking for sequential circuit verification. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 13(4):401--424, 1994.

Digital Library

[6]

E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.

Digital Library

[7]

E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8(2):244--263, 1986.

Digital Library

[8]

L. Durbeck and N. Macias. The cell matrix: an architecture for nanocomputing. Nanotechnology, 12(3):217--230, September 2001.

[9]

D. M. Eigler, C. P. Lutz, M. F. Crommie, H. C. Mahoran, A. J. Heinrich, and J. A. Gupta. Information transport and computation in nanometre-scale structures. Phil. Trans. R. Soc. Lond. A, 362(1819):1135--1147, 2004.

[10]

M. Frank. Introduction to reversible computing: motivation, progress, and challenges. In CF '05: Proceedings of the 2nd conference on Computing frontiers, pages 385--390, New York, NY, USA, 2005. ACM Press.

Digital Library

[11]

A. J. Heinrich, C. P. Lutz, J. A. Gupta, and D. M. Eigler. Molecule cascades. Science, 298:1381--1387, 2002.

[12]

IBM scientists build world's smallest operating computing circuits. http://domino.watson.ibm.com/comm/pr.nsf/pages/news.20021024_cascade.html, Oct. 2002.

[13]

International Technology Roadmap for Semiconductors, 2005.

[14]

C. Joachim, J. Gimzewski, and A. Aviram. Electronics using hybrid-molecular and mono-molecular devices. Nature, 408:541--548, 30 November 2000.

[15]

J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic Model Checking: 10²⁰ States and Beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, pages 1--33, Washington, D.C., 1990. IEEE Computer Society Press.

[16]

H. Kato, H. Okuyama, S. Ichihara, and M. Kawai. Lateral interactions of CO in the (2 x 1)p2mg structure on Pd(110): Force constants between tilted CO molecules. Journal of Chemical Physics, 112(4):1925--1936, 22 January 2000.

[17]

C. Lent, B. Isaksen, and M. Lieberman. Molecular quantum-dot cellular automata. J. Am. Chem. Soc., 125(4):1056--1063, 2003.

[18]

K. K. Likharev and D. B. Strukov. Cmol: Devices, circuits, and architectures. In G. C. et al. (eds.), editor, Introduction to Molecular Electronics, pages 447--477. Springer, Berlin, 2005.

[19]

B. Lin and F. Somenzi. Minimization of symbolic relations. In ICCAD, pages 88--91, Nov. 1990.

[20]

D. E. Muller and W. S. Bartky. A theory of asynchronous circuits. In Proceedings of an International Symposium on the Theory of Switching, pages 204--243. Harvard University Press, 1959.

[21]

Y. Ono, A. Fujiwara, K. Nishiguchi, H. Inokawa, and Y. Takahashi. Manipulation and detection of single electrons for future information processing. Journal of Applied Physics, 97:031101-1-031101-19, 2005.

[22]

F. Peper, J. Lee, S. Adachi, and S. Mashiko. Laying out circuits on asynchronous cellular arrays: a step towards feasible nanocomputers? Nanotechnology, 14(4):469--485, April 2003.

[23]

S. D. Sarma, J. Fabian, X. Hu, and I. Zutic. Issues, concepts, and challenges in spintronics. In Proc. 58th IEEE Device Research Conf. (DRC), pages 95--98. IEEE, June 2000.

[24]

M. Stone. The representation theorem for Boolean algebras. Trans. Amer. Math. Soc., 40:37--111, 1936.

[25]

P. Uvdal, P.-A. Karlsson, C. Nyberg, and S. Andersson. On the structure of dense CO overlayers. Surface Science, 202(1--2):167--182, 1 August 1988.

[26]

T. Verhoefi. Delay-insensitive codes---an overview. Distributed Computing, 3(1):1--8, 1988.

Digital Library

Cited By

Peper F(2018)NanocomputersUnconventional Computing10.1007/978-1-4939-6883-1_347(355-392)Online publication date: 26-Aug-2018
https://doi.org/10.1007/978-1-4939-6883-1_347
Peper F(2017)NanocomputersEncyclopedia of Complexity and Systems Science10.1007/978-3-642-27737-5_347-2(1-40)Online publication date: 26-Sep-2017
https://doi.org/10.1007/978-3-642-27737-5_347-2
Peper F(2009)NanocomputersEncyclopedia of Complexity and Systems Science10.1007/978-0-387-30440-3_347(5859-5889)Online publication date: 2009
https://doi.org/10.1007/978-0-387-30440-3_347
Show More Cited By

Index Terms

From molecular interactions to gates: a systematic approach
1. Hardware
  1. Integrated circuits
    1. Logic circuits

Recommendations

Reversible Gates and Testability of One Dimensional Arrays of Molecular QCA

An extensive literature exists on the mathematical characterization of reversible logic. However, the possible technological basis of this computing paradigm still remains unsolved. In this paper, quantum-dot cellular automata (QCA) is investigated for ...
Minimum Parallel Binary Adders with NOR (NAND) Gates

Parallel binary adders of n bits long in single-rail input logic which have a minimum number of NOR gates are derived in this paper. The minimality of the number of NOR gates is proved for an arbitrary value of n. Also, it is proved that the adders must ...
Adder designs using reversible logic gates

A new reversible logic gate was proposed in Ref. [1]. This gate can be used to implement any classical Boolean logic function. This paper shows the application of the reversible gate in implementing ripple carry, carry skip and carry look-ahead adders. ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICCAD '06: Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design

November 2006

147 pages

ISBN:1595933891

DOI:10.1145/1233501

General Chair:
Soha Hassoun
Tufts Univ., Medford, MA

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGDA: ACM Special Interest Group on Design Automation
IEEE-CAS: Circuits & Systems
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 November 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICCAD06

Sponsor:

SIGDA
IEEE-CAS
IEEE-CS

ICCAD06: The International Conference on Computer-Aided Design 2006

November 5 - 9, 2006

California, San Jose

Acceptance Rates

Overall Acceptance Rate 457 of 1,762 submissions, 26%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
173
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Peper F(2018)NanocomputersUnconventional Computing10.1007/978-1-4939-6883-1_347(355-392)Online publication date: 26-Aug-2018
https://doi.org/10.1007/978-1-4939-6883-1_347
Peper F(2017)NanocomputersEncyclopedia of Complexity and Systems Science10.1007/978-3-642-27737-5_347-2(1-40)Online publication date: 26-Sep-2017
https://doi.org/10.1007/978-3-642-27737-5_347-2
Peper F(2009)NanocomputersEncyclopedia of Complexity and Systems Science10.1007/978-0-387-30440-3_347(5859-5889)Online publication date: 2009
https://doi.org/10.1007/978-0-387-30440-3_347
Carmona JCortadella JTakada YPeper F(2008)Formal methods for the analysis and synthesis of nanometer-scale cellular arraysACM Journal on Emerging Technologies in Computing Systems10.1145/1350763.13507684:2(1-27)Online publication date: 23-Apr-2008
https://dl.acm.org/doi/10.1145/1350763.1350768

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten