Orientador: Alexandre César Rodrigues da Silva / Resumo: Com a evolução da tecnologia, os CIs (Circuitos Integrados) com tecnologia CMOS (Complementary Metal-Oxide Semicondutor) têm se tornado cada vez menores e mais eficientes, entretanto, esta tecnologia está atingindo os limites físicos. Para minimizar ainda mais os circuitos digitais, novas tecnologias foram desenvolvidas como, por exemplo, a tecnologia QCA (Quantum-Dot Cellular Automata) que em conjunto com a lógica majoritária tem despertado o interesse da comunidade acadêmica no que se refere ao desenvolvimento de ferramentas de síntese e de otimização. Neste trabalho implementou-se o programa denominado MK4 que tem como proposta realizar a minimização de funções majoritárias com até quatro variáveis, utilizando as ideias contidas no mapa de Karnaugh. Os resultados obtidos pelo MK4 foram comparados com os do programa exact_mig. De 65.536 funções comparadas, 92,60% das funções geradas pelo programa MK4 tiveram custos iguais ou inferiores em relação as funções geradas pelo exact_mig. / Abstract: With the evolution of technology, the ICs (Integrated Circuits) with CMOS (Complementary Metal-Oxide Semiconductor) technology has become smaller and more efficient. However, this technology is reaching its physical limits. To further minimize digital circuits, new technologies are presented such as, QCA (\textit{Quantum-Dot Cellular Automata}) technology that together with majority logic has aroused the interest of the academic community in the development of synthesis and optimization tools. In this work the program denominated MK4 was implemented, with the purpose of minimizing majority functions with up to four variables, using the Karnaugh map. The results obtained by MK4 were compared with those of the exact_mig program. From 65,536 functions compared, 92.60% of the functions generated by the MK4 had equal or lower costs in relation to the functions generated by the exact_mig. / Mestre

Orientador: Alexandre César Rodrigues da Silva / Resumo: Devido ao grande avanço da tecnologia e à miniaturização de circuitos, o estudo de sistemas lógicos que podem ser aplicados à nanotecnologia vem sendo realizado de forma abrangente. Para criação de circuitos nanoeletrônicos destacam-se a lógica reversível e a lógica majoritária. Neste trabalho é proposto o algoritmo MPC, utilizado para síntese de lógica majoritária. O algoritmo recebe uma tabela verdade como entrada e retorna uma função majoritária que cobre o mesmo conjunto de mintermos. A criação de uma função de saída válida é realizada a partir da combinação entre funções primitivas previamente otimizadas. Como critério de custo busca-se a geração de funções que tenham a menor quantidade de níveis, seguida da menor quantidade de operadores, inversores e literais. Nesse trabalho também é realizada a comparação do MPC com o algoritmo exact_mig, considerado o melhor algoritmo para síntese de funções majoritárias atualmente. O exact_mig codifica a síntese exata de funções utilizando a quantidade de níveis e operadores como critério de custo. O MPC utiliza dois critérios de custo adicionais, o número de inversores e o número de literais, com o objetivo de otimizar ainda mais os resultados gerados pelo exact_mig. Dessa forma, o MPC busca a síntese de funções que possuam a mesma quantidade de níveis e de operadores, mas com uma quantidade menor de inversores e literais. Testes mostraram que ambos os algoritmos retornam soluções ótimas para todas as funções com 3 variáveis de ent... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Due to technology advancements and circuits miniaturization, the study of logic systems that can be applied to nanotechnology has been progressing steadily. Among the creation of nanoeletronic circuits the reversible and majority logic stands out. This paper proposes the MPC (Majority Primitives Combination) algorithm, used for majority logic synthesis. The algorithm receives a truth table as input and returns a majority function that covers the same set of minterms. The formulation of a valid output function is made with the combination of previously optimized functions. As cost criteria the algorithm searches for a function with the minimum number of levels, followed by the minimum number of gates, inverters, and literals. In this paper it's also presented a comparison between the MPC and the exact_mig, currently considered the best algorithm for majority synthesis. The exact_mig encode the exact synthesis of majority functions using the number of levels and gates as cost criteria. The MPC considers two additional cost criteria, the number of inverters and the number of literals, with the goal to further improve exact_mig results. Therefore, the MPC aims to synthesize functions with the same amount of levels and gates, but with less inverters and literals. Tests have shown that both algorithms return optimal solutions for all functions with 3 input variables. For functions with 4 inputs, the MPC is able to further improve 66% of all functions and achieves equal results for ... (Complete abstract click electronic access below) / Mestre