La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

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 Minimisation exacte des BDD gratuits et son application à l'optimisation logique du transistor passe-transistor

Kazuyoshi TAKAGI, Hiroshi HATAKEDA, Shinji KIMURA, Katsumasa WATANABE

  • Vues en texte intégral

    0

  • Citer

Résumé:

Dans plusieurs méthodes de conception de circuits Pass-Transistor Logic (PTL), les fonctions booléennes sont exprimées sous forme d'OBDD sous forme décomposée, puis les composants OBDD sont directement mappés sur les cellules PTL. La taille totale des OBDD (nombre de nœuds) correspond à la taille du circuit. Dans cet article, nous étudions une méthode de synthèse PTL basée sur la minimisation exacte des BDD libres (FBDD). Les FBDD sont une extension bien étudiée des OBDD avec un ordre de variables libre sur chaque chemin. Nous présentons des statistiques montrant que plus de 56 % des 616126 5 classes d’équivalence NPN de fonctions booléennes à 5 variables ont des FBDD minimum de taille inférieure à leurs OBDD. Ce résultat peut être utilisé pour la synthèse PTL en tant que bibliothèques. Nous avons également appliqué l'algorithme de minimisation exacte des FBDD à la minimisation des sous-circuits dans la synthèse des benchmarks MCNC et avons constaté une réduction de taille allant jusqu'à XNUMX %.

Publication
IEICE TRANSACTIONS on Fundamentals Vol.E82-A No.11 pp.2407-2413
Date de publication
1999/11/25
Publicisé
ISSN en ligne
DOI
Type de manuscrit
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Catégories

Auteurs

Mots-clés

Table des matières