Simulação paralela e verificação de circuitos de autômatos celulares com pontos quânticos
Carregando...
Data
Autor(es)
Título da Revista
ISSN da Revista
Título de Volume
Editor
Universidade Federal de Minas Gerais
Descrição
Tipo
Dissertação de mestrado
Título alternativo
Primeiro orientador
Membros da banca
José Augusto Miranda Nacif
Luiz Filipe Menezes Vieira
Sergio Vale Aguiar Campos
Luiz Filipe Menezes Vieira
Sergio Vale Aguiar Campos
Resumo
No campo de pesquisa pós-sílicio, o paradigma Autômatos Celulares com Pontos Quânticos (do inglês Quantum-dot Cellular Automata - QCA) surgiu como candidato para substituir os circuitos tradicionais CMOS. O QCA se baseia na transmissão de informações entre células tirando proveito de interações Coulombianas. Neste trabalho apresenta-se técnicas que tentam expandir e acelerar as possibilidades de validação de um circuito originalmente descrito usando a ferramenta QCADesigner. O circuito é dividido em várias partições menores independentes que podem ser verificadas por falhas comuns como malposição e falta sincronia. Essas mesmas fatias também podem ser arranjadas em fatias simuladas em paralelo. O processo de simulação apresentado é aproximadamente cinco vezes mais veloz que simulações comuns e permite a criação de um modelo onde proposições lógicas podem ser avaliadas. O uso completo desse processo espera reduzir drasticamente o tempo necessário para validação completa de um circuito.
Abstract
In beyond silicon research, Quantum-dot Cellular Automata (QCA) emerged as a can- didate for replacing the traditional CMOS logic circuits. QCA is a paradigm based on the exchange of information between cells that take advantage of Coulombs law. In this work, we present techniques that expand and accelerate the validation of de- signs created using QCADesigner simulator. The circuit is split into small independent regions which could be verified for common mistakes such as cell misplacements and synchronization issues. Those small circuits chops can also be arranged for parallel simulation allowing speed ups of approximately five times faster. The output from such devices can be used to build a model where logical prepositions could be evalua- ted. The entire process can vastly reduce the time for full circuitry validation and help adoption of the paradigm.
Assunto
Paralelização, Computação, Nanocomputação, Autômatos Celulares com Pontos Quânticos QCA
Palavras-chave
Verificação, Paralelização, Nanocomputação, Autômatos Celulares com Pontos Quânticos, Simulação, QCA