The “regularity” of a Boolean function can be exploited for decreasing the cost of its representation or its minimization time. In this paper we study a class of regular Boolean functions called 2D-reducible. We prove that 2D-reducible functions are partially symmetric and we exploit this property to propose a variable ordering for their OBDD representations. The detection of such variable ordering is very efficient since it is polynomial in the SOP representation of the Boolean function.
Compact OBDDs for 2D-Reducible Functions
BERNASCONI, ANNA;
2012-01-01
Abstract
The “regularity” of a Boolean function can be exploited for decreasing the cost of its representation or its minimization time. In this paper we study a class of regular Boolean functions called 2D-reducible. We prove that 2D-reducible functions are partially symmetric and we exploit this property to propose a variable ordering for their OBDD representations. The detection of such variable ordering is very efficient since it is polynomial in the SOP representation of the Boolean function.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.