Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2014/05/01 Vol. E97-ANo. 5pp. 1140-1143 Type of Manuscript: LETTER Category: VLSI Design Technology and CAD Keyword: switching theory, computation of transforms, binary decision diagram, BDD-package,