Combinational Logic Verification: Binary Decision Diagrams

Combinational Logic Verification: Binary Decision Diagrams

m [Bryant 84] [Madre et. al. 88]

m Ordering Algorithm [Friedman, et al 87]

m Improved Significantly by [Malik, et al 88] and since by [Rudell, et. al. 89].

Previous slide Next slide Back to the first slide View Graphic Version