Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
18/06/1996 |
Data da última atualização: |
14/03/2011 |
Autoria: |
SANTOS, C. M. de P.; AUDE, J. S. |
Afiliação: |
CLÁUDIO MIGUEL DE PAIVA SANTOS, UFRJ; JULIO SALEK AUDE, UFRJ. |
Título: |
SILENCE: uma ferramenta para síntese de lógica combinacional multinível. |
Ano de publicação: |
1995 |
Fonte/Imprenta: |
In: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995. |
Volume: |
v.2 |
Páginas: |
p. 1455-1461. |
Idioma: |
Português |
Conteúdo: |
O 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. |
Palavras-Chave: |
Funções lógicas; Lógica combinacional multinível. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01331naa a2200181 a 4500 001 1002730 005 2011-03-14 008 1995 bl uuuu u00u1 u #d 100 1 $aSANTOS, C. M. de P. 245 $aSILENCE$buma ferramenta para síntese de lógica combinacional multinível. 260 $c1995 300 $ap. 1455-1461. v.2 490 $vv.2 520 $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. 653 $aFunções lógicas 653 $aLógica combinacional multinível 700 1 $aAUDE, J. S. 773 $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.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |