Autosymmetric functions are particular "regular" Boolean functions that are exploited for logic optimization, since it is possible to reduce the number of variables and the number of points of the original autosymmetric function before its synthesis. In this paper we study this regularity in oder to derive a suitable variable ordering for Biconditional Binary Decision Diagrams (BBDDs). BBDDs are a new version of BDD that have EXOR of two variables (instead of a variable) in the nodes. These diagrams are employed for logic synthesis in new technologies such as silicon nanowires and DG-SiNWFETs. We show that it is possible to find a useful variable ordering for these functions and the experimental results validate our approach showing that in the 97% of the cases we get an ordering that gives a number of nodes that is lower or equal to the one obtained with the standard ordering.
Biconditional-BDD ordering for autosymmetric functions / A. Bernasconi, V. Ciriani, G. Trucco - In: Digital System Design (DSD), 2015 Euromicro Conference on[s.l] : IEEE Computer Society, 2015. - ISBN 9781467380355. - pp. 211-217 (( convegno Digital System Design tenutosi a Funchal nel 2015 [10.1109/DSD.2015.49].
Biconditional-BDD ordering for autosymmetric functions
V. CirianiSecondo
;G. TruccoUltimo
2015
Abstract
Autosymmetric functions are particular "regular" Boolean functions that are exploited for logic optimization, since it is possible to reduce the number of variables and the number of points of the original autosymmetric function before its synthesis. In this paper we study this regularity in oder to derive a suitable variable ordering for Biconditional Binary Decision Diagrams (BBDDs). BBDDs are a new version of BDD that have EXOR of two variables (instead of a variable) in the nodes. These diagrams are employed for logic synthesis in new technologies such as silicon nanowires and DG-SiNWFETs. We show that it is possible to find a useful variable ordering for these functions and the experimental results validate our approach showing that in the 97% of the cases we get an ordering that gives a number of nodes that is lower or equal to the one obtained with the standard ordering.File | Dimensione | Formato | |
---|---|---|---|
DSD15bbdd.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
202.9 kB
Formato
Adobe PDF
|
202.9 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.