Mestrado em Engenharia Electrónica e TelecomunicaçõesSince C.Y.Lee first proposed the idea of representing switching circuits as
decision diagrams, there has been some interest in developing these diagrams
in order to make them more compact and effective. One of the main applications
of this technique is to represent circuits that perform elementary
functions, such as cosine, sine, square root, etc. In this thesis, we try to
prove that by choosing the right polarity for an Arithmetic Decision Diagram
we can compactly and effectively represent a switching function and
implement it in hardware. This thesis proposes algorithms that can compactly
implement a given elementary function in hardware by finding the
best possible polarity for the respective Arithmetic Decision Diagram.Desde que C.Y.Lee propôs a ideia de representar funções de comutação sob a
forma de diagramas de decisão, tem havido algum interesse em desenvolver
estes diagramas de modo a torná-los mais compactos e eficientes. Uma
das principais aplicações desta técnica é representar circuitos que realizem
funções elementares, como é o caso do seno, coseno, raíz quadrada, etc.
Nesta tese tentamos provar que escolhendo a polaridade certa para um Diagrama
de Decisão Aritmético é possível representar compacta e eficazmente
uma função de comutação e implementá-la em hardware. Esta tese propõe
algoritmos que conseguem implementar compactamente uma dada função
elementar em hardware encontrando a melhor polaridade possível para o
respetivo Diagrama de Decisão Aritmético