01331naa a2200181 a 450000100080000000500110000800800410001910000240006024500800008426000090016430000220017349000080019552006980020365300230090165300380092470000160096277301710097810027302011-03-14       1995    bl uuuu     u00u1 u    #d1 aSANTOS, C. M. de P.  aSILENCEbuma ferramenta para síntese de lógica combinacional multinível.  c1995  ap. 1455-1461. v.2  vv.2  aO sistema SILENCE baseia-se no uso de Diagramas Binários de Decisão (BDD) para representação de funções lógicas a serem minimizadas. O sistema lê uma descrição das equações em VHDL e produz o resultado da minimização descrito também em linguagem VHDL. O sistema utiliza o algoritmo de Simulated Annealing para encontrar a melhor ordenação das variáveis no BDD e foi implementado com a utilização de algoritmos de minimização eficientes e baseados em operações realizadas diretamente sobre a estrutura do BDD. No final do texto são apresentados alguns resultados comparativos de eficiência do método de simplificação em comparação com outros métodos semelhantes.  aFunções lógicas  aLógica combinacional multinível1 aAUDE, J. S.  tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.