Loading...
Loading...

Go to the content (press return)

From molecular interactions to gates: a systematic approach

Author
Carmona, J.; Cortadella, J.; Takada, Y.; Peper, F.
Type of activity
Presentation of work at congresses
Name of edition
International Conference on Computer-Aided Design 2006
Date of publication
2006
Presentation's date
2006
Book of congress proceedings
ICCAD '06: Proceedings of the 2006 IEEE/ACM International conference on Computer-Aided Design: San Jose, California, November 05-09, 2006
First page
891
Last page
898
DOI
10.1145/1233501.1233688
URL
https://dl.acm.org/citation.cfm?id=1233688 Open in new window
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 behavi...
Keywords
Formal methods, Nanocascades, Nanocomputing
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants