• DocumentCode
    3337452
  • Title

    Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams

  • Author

    Drechsler, R. ; Sarabi, A. ; Theobald, M. ; Becker, B. ; Owski, M. A Perk

  • Author_Institution
    Computer Science Department, Johann Wolfgang Goethe University, Frankfurt am Main, Germany
  • fYear
    1994
  • fDate
    6-10 June 1994
  • Firstpage
    415
  • Lastpage
    419
  • Abstract
    An efficient package for construction of and operation on ordered Kronecker Functional Decision Diagrams (OKFDD) is presented. OKFDDs are a generalization of OBDDs and OFDDs and as such provide a more compact representation of the functions than either of the two decision diagrams. In this paper basic properties of OKFDDs and their efficient representation and manipulation are presented. Based on the comparison of the three decision diagrams for several benchmark functions, a 25% improve ment in size over OBDDs is observed for OKFDDs.
  • Keywords
    Packaging;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation, 1994. 31st Conference on
  • ISSN
    0738-100X
  • Print_ISBN
    0-89791-653-0
  • Type

    conf

  • DOI
    10.1109/DAC.1994.204137
  • Filename
    1600410
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3337452