Simulação paralela e verificação de circuitos de autômatos celulares com pontos quânticos

Autor: Luiz Henrique Borges Sardinha
Přispěvatelé: Omar Paranaiba Vilela Neto, José Augusto Miranda Nacif, Luiz Filipe Menezes Vieira, Sergio Vale Aguiar Campos
Jazyk: portugalština
Rok vydání: 2017
Předmět:
Zdroj: Repositório Institucional da UFMG
Universidade Federal de Minas Gerais (UFMG)
instacron:UFMG
Popis: 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. 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.
Databáze: OpenAIRE
Externí odkaz: