Show simple item record

dc.contributor.authorSasao, Tsutomu
dc.contributor.authorButler, Jon T.
dc.date.accessioned2014-04-09T17:28:55Z
dc.date.available2014-04-09T17:28:55Z
dc.date.issued1996
dc.identifier.citationMulti. Val. Logic, 1996, Vol. 1, pp. 39-64
dc.identifier.urihttp://hdl.handle.net/10945/40341
dc.description.abstractIn VLSI, crossings of interconnect occupy space and cause delay. Therefore, there is significant benefit to planar circuits. We propose the use of planar multiple-valued decision diagrams for produce planar multiple-valued circuits. Specifically, we show conditions on 1) threshold funtions, 2) symmetric functions, and 3) monotone increasing functions that produce planar diagrams. Our results apply to binary functions, as well. For example, we show that two-valued monotone increasing threshold functions of up to five variables have planar ordered binary decision diagrams.en_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titlePlanar Decision Diagrams for Multiple-Valued Functionsen_US
dc.typeArticleen_US
dc.contributor.departmentElectrical and Computer Engineering
dc.subject.authorOrdered binary decision diagram (OBDD)en_US
dc.subject.authorordered multiple-valued decision diagram (OMDD)en_US
dc.subject.authorcomputer-aided designen_US
dc.subject.authorthreshold functionen_US
dc.subject.authorsymmetric functionen_US
dc.subject.authordual functionen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record