Análise de métodos de síntese de funções booleanas

Abstract

Diversos métodos de síntese de funções Booleanas foram propostos na literatura mas o relacionamento entre elas não é claramente definido e uma comparação se torna útil para decidir qual método é mais indicado para uma dada aplicação. Este trabalho apresenta e implementa diversos métodos de síntese de funções Booleanas. Dentre eles, métodos que utilizam operações AND e OR, métodos que utilizam operações AND, OR e XOR, métodos que resultam em expressões com estrutura dois níveis e métodos que resultam em expressões com estrutura multinível. Ao final, é feita uma comparação destes métodos considerando métricas como número de literais, custo de implementação, profundidade lógica e tempo de execução.

Several logic function synthesis approaches have been proposed but the relationship between them is not clearly defined. Such a comparison becomes quite useful for the decision of which one is more suitable for a given application. This work presents and implements a set of Boolean function synthesis methods. This set of methods contains methods based in AND and OR operations, methods based in AND, OR and XOR operations, two-level synthesis methods and multilevel synthesis methodos. At the end of this work, a comparison is done considering metrics as literals number, implementation cost, logic depth and execution time.