DRedSOP: Synthesis of a new class of regular functions

Bernasconi, Anna and Ciriani, Valentina (2006) DRedSOP: Synthesis of a new class of regular functions. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

PDF (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (226Kb)

Abstract

In this paper we characterize and study a new class of regular Boolean functions called D-reducible.A D-reducible function, depending on all its $n$ input variables, can be studied and synthesized in a space of dimension strictly smaller than $n$. A D-reducible function can be efficiently decomposed, giving rise to a new logic form, that we have called DRedSOP. This form is shown here to be generally smaller than the corresponding minimum SOP form. Experimental evidence shows that such functions are rather common and D-reducibility can be tested very quickly.

Repository staff only actions