Contribuição a sintese de circuitos digitais utilizando programação linear inteira 0 e 1

AUTOR(ES)
DATA DE PUBLICAÇÃO

1993

RESUMO

Este trabalho trata do problema de simplificação de funções booleanas e da redução de estados, em máquinas de estados finitos, modelando-os como um problema de programação matemática. Na minimização lógica, os implicantes são gerados aplicando-se o algoritmo do consenso numa árvore binária que representa a função booleana. A cobertura mínima é obtida resolvendo-se um problema de programação linear inteira 0 e 1, cuja função objetivo é a soma ponderada de todos os implicantes primos e as restrições correspondem a soma dos implicantes primos que cobrem cada mintermo da função. Na minimização de funções booleanas com múltiplas saídas o problema de cobertura mínima pode ser modelado como um problema matemático não linear dependendo do critério de otimização utilizado. o método de geração de classes de compatibilidades máximas foi utilizado para a redução de estados. A função objetivo é formulada como a soma das classes primas sujeita às restrições de cobertura e fechamento. Uma vez formulado como um problema de programação matemática, a minimização de funções booleanas e a redução de máquinas de estados se abrem para as novas técnicas desenvolvidas nessa área de pesquisa

ASSUNTO(S)

programação linear circuitos integrados

ACESSO AO ARTIGO

Documentos Relacionados