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

SCOPUSTM   
Citations

2
checked on Apr 3, 2025

Page view(s)

19
checked on Jan 31, 2025

Google ScholarTM

Check


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