Combinational Logic Verification: Binary Decision Diagrams
Combinational Logic Verification: Binary Decision Diagrams
m [Bryant 84] [Madre et. al. 88]
Ô Ordering of variables left to user.
m Ordering Algorithm [Friedman, et al 87]
Ô O((N^2)*(3^n)) algorithm, not useful for verification.
m Improved Significantly by [Malik, et al 88] and since by [Rudell, et. al. 89].
Ô Take advantage of canonical form