• Um algoritmo formal para remoção de redundâncias 

      Marques, Felipe de Souza (2003) [Dissertação]
      Os algoritmos para síntese de circuitos digitais em geral visam a melhoria de uma função de custo composta de quatro critérios: área, desempenho, potência e testabilidade. Normalmente estes algoritmos conseguem uma relação ...