A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

An Efficient Algorithm Finding Simple Disjoint Decompositions Using BDDs Um algoritmo eficiente para encontrar decomposições disjuntas simples usando BDDs

Yusuke MATSUNAGA

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

A decomposição funcional é uma técnica essencial de síntese lógica e é importante especialmente para projetos de FPGA. Bertacco e Damiani propuseram um algoritmo eficiente para encontrar decomposição disjunta simples usando Diagramas de Decisão Binária (BDDs). Porém, seu algoritmo não está completo e não encontra todas as decomposições. Este artigo apresenta uma teoria completa de decomposição disjunta simples e descreve um algoritmo eficiente usando BDDs.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E85-A No.12 pp.2715-2724
Data de publicação
2002/12/01
Publicitada
ISSN online
DOI
Tipo de Manuscrito
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Categoria
Síntese Lógica

autores

Palavra-chave