MANIPULAÇÃO DE FUNÇÕES PRIMITIVAS PARA SÍNTESE DE FUNÇÕES MAJORITÁRIAS

Abstract

Devido ao grande avan¸co da tecnologia e `a miniaturiza¸c˜ao de circuitos, o estudo de l´ogicas que podem ser aplicadas `a nanotecnologia vem sendo realizado de forma abrangente. Para cria¸c˜ao de circuitos nanoeletrˆonicos destacam-se a l´ogica revers´ıvel e a l´ogica majorit´aria. Neste artigo ´e proposto o algoritmo M P L (Majority Primitives Listing), utilizado para s´ıntese de l´ogica majorit´aria. O algoritmo recebe uma tabela verdade como entrada e retorna uma fun¸c˜ao majorit´aria que cobre o mesmo conjunto de mintermos. A cria¸c˜ao de uma fun¸c˜ao de sa´ıda v´alida ´e realizada a partir da combina¸c˜ao entre fun¸c˜oes primitivas previamente otimizadas. Como crit´erio de custo busca-se a gera¸c˜ao de fun¸c˜oes que tenham a menor quantidade de n´ıveis, seguida da menor quantidade de operadores e inversores. Nesse artigo tamb´em ´e realizada a compara¸c˜ao do MP L com o Exact, considerado o melhor algoritmo para   s´ıntese de fun¸c˜oes majorit´arias atualmente. Testes mostraram que ambos os algoritmos retornam solu¸c˜oes ´otimas para todas as fun¸c˜oes com 3 vari´aveis de entrada. Para fun¸c˜oes com 4 vari´aveis, com um total de 65.536 conjuntos de mintermos, e considerando tamb´em inversores como crit´erio de custo, o   MP L consegue melhores resultados para 41.498 (64%) conjuntos, resultados iguais para 11.489 (17%) conjuntos e resultados inferiores para os 12, 549 (19%) conjuntos restantes.