A Method to Represent Multiple-Output Switching Functions by Using Multi-Valued Decision Diagrams
Abstract
Multiple-output switching functions can be simulated by multiple-valued decision diagrams (MDDs) at a significant reduction in computation time. We analyze the following approaches to the representation problem: shared multiple-valued decision diagrams (SMDDs), multi-terminal multiple-valued decision diagrams (MTMDDs), and shared multi-terminal multiple-valued decision diagrams (SMTMDDs). For example, we show that SMDDs tend to be compact, while SMTMDDs tend to be fast. We present an algorithm for grouping input variables and output functions in the MDDs.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 19, 1996
- Accession Number
- ADA605394
Entities
People
- Jon T. Butler
- Tsutomu Sasao
Organizations
- Naval Postgraduate School