Loading...
Loading...

Go to the content (press return)

Formal methods for the analysis and synthesis of nanometer-scale cellular arrays

Author
Carmona, J.; Cortadella, J.; Takada, Y.; Peper, F.
Type of activity
Journal article
Journal
ACM journal on emerging technologies in computing systems
Date of publication
2008-04
Volume
4
Number
2
First page
8.1
Last page
8.27
DOI
https://doi.org/10.1145/1350763.1350768 Open in new window
URL
http://portal.acm.org/citation.cfm?doid=1350763.1350768 Open in new window
Abstract
Nanometer-scale structures suitable for computing have been investigated by several research groups in recent years. A common feature of these structures is their dynamic evolution through cascaded local interactions embedded on a discrete grid. Finding configurations capable of conducting computations is a task that often requires tedious experiments in laboratories. Formal methods—though used extensively for the specification and verification of software and hardware computing systems—are ...
Keywords
Cellular array, Design, Model checking, Nanocomputing, Symbolic techniques, Verification
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants