Use of BDDs for Verification

Use of BDDs for Verification

X1

X3

X2

0

1

m Each vertex corresponds to a partial assignment of inputs.

Ô V1: 0-, 10

m Result of reduction is a canonical form.

V1

Previous slide

Next slide

Back to the first slide

View Graphic Version