Authors: | Stanković, Radomir |
Title: | Matrix-valued EXOR-TDDs in decomposition of switching functions |
Journal: | Proceedings of The International Symposium on Multiple-Valued Logic |
First page: | 154 |
Last page: | 159 |
Conference: | 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99); Freiburg im Breisgau, Ger; 20 May 1999 through 22 May 1999 |
Issue Date: | 1-Jan-1999 |
ISBN: | 978-0-7695-0161-3 |
ISSN: | 0195-623X |
DOI: | 10.1109/ISMVL.1999.779710 |
Abstract: | EXOR Ternary Decision Diagrams (EXOR-TDDs) proved useful in several applications in logic design. This paper shows that EXOR-TDDs are also useful in functional decomposition. We prove that checking simple disjoint decomposition of f with respect to a subset of r variables is equivalent to building the EXOR-TDD for a matrix-valued function of (n-r) variables. Transferring the problem of decomposition into the problem of building EXOR-TDDs permits formulation of a simple decomposition procedure. The same method applies to simple disjoint bi-decomposition of switching functions. |
Publisher: | IEEE |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.