file.pdf (823.28 kB)

Application of Multi-Terminal Binary Decision Diagrams

Download (823.28 kB)
journal contribution
posted on 01.06.2008, 00:00 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

01/06/2008

Usage metrics

Exports