• DocumentCode
    1938441
  • Title

    Spectral transformation of multiple-valued decision diagrams

  • Author

    Miller, D.M.

  • Author_Institution
    VLSI Design & Test Group, Victoria Univ., BC, Canada
  • fYear
    1994
  • fDate
    25-27 May 1994
  • Firstpage
    89
  • Lastpage
    96
  • Abstract
    This paper describes an algorithm which performs a spectral transformation of a multiple-valued function directly from a decision diagram representation. The spectrum is in turn represented as a decision diagram. The advantage of adding cycle operations to a spectral decision diagram is shown. The complexity of the representation of the spectrum is not fixed as in the matrix case and is shown to be quite compact for many `practical´ functions. Likewise, the execution time of the algorithm is not fixed as it depends on the complexity of the decision diagram representations of the function and the spectrum. This transformation algorithm opens the possibility of broader application of spectral logic design techniques particularly to functions with more variables than could be considered using earlier matrix transformation techniques. The algorithm is applicable to binary functions and to systems of functions. It is readily extended to other transformations with a recursive matrix definition
  • Keywords
    computational complexity; logic design; many-valued logics; spectral analysis; switching functions; binary functions; complexity; cycle operations; decision diagram representation; multiple-valued decision diagrams; spectral decision diagram; spectral logic design techniques; spectral transformation; Algorithm design and analysis; Binary decision diagrams; Boolean functions; Computer science; Councils; Data structures; Logic design; Performance evaluation; Testing; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1994. Proceedings., Twenty-Fourth International Symposium on
  • Conference_Location
    Boston, MA
  • Print_ISBN
    0-8186-5650-6
  • Type

    conf

  • DOI
    10.1109/ISMVL.1994.302209
  • Filename
    302209