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
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


checked on Apr 22, 2024

Page view(s)

checked on Apr 23, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.