EXACT MINIMIZATION OF KRONECKER EXPRESSIONS FOR SYMMETRICAL FUNCTIONS

Authors
BECKER B DRECHSLER R
Citation
B. Becker et R. Drechsler, EXACT MINIMIZATION OF KRONECKER EXPRESSIONS FOR SYMMETRICAL FUNCTIONS, IEE proceedings. Computers and digital techniques, 143(6), 1996, pp. 349-354
Citations number
23
Categorie Soggetti
Computer Sciences","Computer Science Hardware & Architecture","Computer Science Theory & Methods
Journal title
IEE proceedings. Computers and digital techniques → ACNP
ISSN journal
13502387
Volume
143
Issue
6
Year of publication
1996
Pages
349 - 354
Database
ISI
SICI code
1350-2387(1996)143:6<349:EMOKEF>2.0.ZU;2-P
Abstract
In the paper, an algorithm for the exact minimisation of Kronecker exp ressions (KROs) for totally symmetric functions is presented. KROs are a class of AND/EXOR forms closely related to ordered Kronecker functi onal decision diagrams (OKFDDs). This close relation is used to obtain a polynomial time minimisation algorithm. A generalisation to partial ly symmetric functions is investigated. Experimental results in compar ison to previously published methods are given to show the efficiency of the approach.