• DocumentCode
    1426949
  • Title

    A comment on "Graph-based algorithm for Boolean function manipulation"

  • Author

    Dubrova, Elena ; Macchiarulo, Luca

  • Author_Institution
    Dept. of Electron., R. Inst. of Technol., Stockholm, Sweden
  • Volume
    49
  • Issue
    11
  • fYear
    2000
  • fDate
    11/1/2000 12:00:00 AM
  • Firstpage
    1290
  • Lastpage
    1292
  • Abstract
    In this paper, a slight error in the paper of Bryant (ibid., vol.35, no.8, p.677-691, Aug. 1986 is corrected: It was stated that, under a certain ordering restriction, composition of two Reduced Ordered Binary Decision Diagrams (ROBDDs) results in a reduced OBDD. We show a counterexample and explore under which conditions this statement is incorrect.
  • Keywords
    Boolean functions; binary decision diagrams; Boolean function manipulation; ROBDDs; Reduced Ordered Binary Decision Diagrams; graph-based algorithm; reduced OBDD; Boolean functions; Data structures; Error correction; Logic design; Sufficient conditions;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/12.895944
  • Filename
    895944
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1426949