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

• Ano de defesa: 2017
• Autor(a) principal: Luiz Henrique Borges Sardinha
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Minas Gerais; UFMG
• Palavras-chave em Português: Verificação; Paralelização; Nanocomputação; Autômatos Celulares com Pontos Quânticos; Simulação; QCA; Computação; Autômatos Celulares com Pontos Quânticos QCA
• Link de acesso: http://hdl.handle.net/1843/JCES-AVPN9B

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.