An exact method for design exploration of quantum-dot cellular automata
| dc.creator | Marcel Walter | |
| dc.creator | Robert Wille | |
| dc.creator | Daniel Große | |
| dc.creator | Frank Sill Torres | |
| dc.creator | Rolf Drechsler | |
| dc.date.accessioned | 2025-04-16T16:28:47Z | |
| dc.date.accessioned | 2025-09-08T23:31:57Z | |
| dc.date.available | 2025-04-16T16:28:47Z | |
| dc.date.issued | 2018 | |
| dc.identifier.doi | 10.23919/DATE.2018.8342060 | |
| dc.identifier.uri | https://hdl.handle.net/1843/81665 | |
| dc.language | eng | |
| dc.publisher | Universidade Federal de Minas Gerais | |
| dc.relation.ispartof | Design, Automation & Test in Europe Conference & Exhibition (DATE) | |
| dc.rights | Acesso Restrito | |
| dc.subject | Programação heuristica | |
| dc.subject.other | Quantum-Dot Celular Automata | |
| dc.subject.other | Electronic Design Automation (EDA) | |
| dc.subject.other | Clocks , Logic gates , Quantum dots , Wires , Automata , Switches , Design methodology | |
| dc.subject.other | Exact Method , Quantum-dot Cellular Automata , Design Method , Physical Constraints , Boolean Logic , Circuit Design , Design Solutions , Design Objectives , Throughput , Increase In Area , Similar Fashion , Flow Data , Grid Size , Single Object , Minimum Area , Heuristic Approach , Boolean Variable , Critical Path , Clock Cycles , Boolean Function , Heuristic Solution , Consecutive Numbers , Adjacency Relationship , Clock Signal , Exact Design , Phase Switching , Set Of Zones , Constraint Satisfaction | |
| dc.title | An exact method for design exploration of quantum-dot cellular automata | |
| dc.type | Artigo de evento | |
| local.citation.epage | 508 | |
| local.citation.spage | 503 | |
| local.description.resumo | Quantum-dot Cellular Automata (QCA) are an emerging computation technology in which basic states are represented by nanosize particles and logic operations are conducted through corresponding effects such as Coulomb interaction. This allows to overcome physical boundaries of conventional solutions such as CMOS and, hence, constitutes a promising direction for future computing devices. Despite these promises, however, the development of (automatic) design methods for QCAs is still in its infancy. In fact, QCA circuits are mainly designed manually thus far and only few heuristics are available. This frequently leads to unsatisfactory results and generally makes it hard to evaluate the quality of respective QCA designs. In this work, we propose an exact solution for the design of QCA circuits that can be configured e.g. to generate circuits that satisfy certain design objectives and/or physical constraints. For the first time, this allows for design exploration of QCA circuits. Experimental evaluations and case studies demonstrate the benefit of the proposed solution. | |
| local.publisher.country | Brasil | |
| local.publisher.department | ENG - DEPARTAMENTO DE ENGENHARIA ELETRÔNICA | |
| local.publisher.initials | UFMG | |
| local.url.externa | https://ieeexplore.ieee.org/document/8342060 |
Arquivos
Licença do pacote
1 - 1 de 1