Mutual conversions between generalised arithmetic expansions andfree binary decision diagrams

摘要

Calculation of generalised arithmetic expansions from free binaryndecision diagrams of incompletely specified Boolean functions is shown.nThe way of decomposing generalised arithmetic expansion coefficients innterms of cofactors of Boolean functions is presented. Based on thendecomposition a second new algorithm to synthesise quasi-optimal freenbinary diagrams directly from generalised expansion of Boolean functionsnis developed