Carnegie Mellon University
Browse

Application of Multi-Terminal Binary Decision Diagrams

Download (823.28 kB)
journal contribution
posted on 2008-06-01, 00:00 authored by Edmund M Clarke, M. Fujita, X. Zhao
Functions that map boolean vectors into the integers are important for the design and verification of arithmetic circuits.

History

Date

2008-06-01

Usage metrics

    Categories

    Keywords

    binary decision diagramsInformation and Computing Sciences not elsewhere classified

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC