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

Exact Minimization of Free BDDs and Its Application to Pass-Transistor Logic Optimization Minimização exata de BDDs gratuitos e sua aplicação para otimização da lógica do transistor de passagem

Kazuyoshi TAKAGI, Hiroshi HATAKEDA, Shinji KIMURA, Katsumasa WATANABE

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Em vários métodos de projeto para circuitos lógicos de transistor de passagem (PTL), as funções booleanas são expressas como OBDDs em forma decomposta e, em seguida, os OBDDs componentes são mapeados diretamente para células PTL. O tamanho total dos OBDDs (número de nós) corresponde ao tamanho do circuito. Neste artigo, investigamos um método para síntese de PTL baseado na minimização exata de BDDs Livres (FBDDs). FBDDs são extensões bem estudadas de OBDDs com ordenação de variáveis ​​livres em cada caminho. Apresentamos estatísticas mostrando que mais de 56% de 616126 classes de equivalência NPN de funções booleanas de 5 variáveis ​​têm FBDDs mínimos com tamanho menor que seus OBDDs. Este resultado pode ser usado para síntese de PTL como bibliotecas. Também aplicamos o algoritmo exato de minimização de FBDDs à minimização de subcircuitos na síntese para benchmarks MCNC e encontramos redução de tamanho de até 5%.

Publicação
IEICE TRANSACTIONS on Fundamentals Vol.E82-A No.11 pp.2407-2413
Data de publicação
1999/11/25
Publicitada
ISSN online
DOI
Tipo de Manuscrito
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Categoria

autores

Palavra-chave