• DocumentCode
    3633232
  • Title

    Multi-terminal BDD synthesis and applications

  • Author

    Petr Mikusek

  • Author_Institution
    Faculty of Information Technology, Brno University of Technology, Bo?et?chova 2, 612 66, Czech Republic
  • fYear
    2009
  • Firstpage
    721
  • Lastpage
    722
  • Abstract
    In this paper we present a heuristic technique of the iterative decomposition of incompletely specified multipleoutput Boolean functions. Its main contribution is that the bottom-up synthesis of MTBDD does not require knowledge of optimum ordering of variables, because the order of variables is generated concurrently. Obtained MTBDDs can be used in hardware (LUT cascades), firmware (branching microprograms) and software implementation of combinational and sequential functions.
  • Keywords
    "Binary decision diagrams","Boolean functions","Information technology","Data structures","Hardware","Input variables","Digital systems","Programmable logic arrays","Testing","Shape"
  • Publisher
    ieee
  • Conference_Titel
    Field Programmable Logic and Applications, 2009. FPL 2009. International Conference on
  • ISSN
    1946-147X
  • Electronic_ISBN
    1946-1488
  • Type

    conf

  • DOI
    10.1109/FPL.2009.5272326
  • Filename
    5272326
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3633232