Use of BDDs for Verification
X1
X3
X2
0
1
Each vertex corresponds to a partial assignment of inputs.
V1: 0-, 10
Result of reduction is a canonical form.
V1
Previous slide
Next slide
Back to first slide
View graphic version