Ordering of Variables in BDD

Ordering of Variables in BDD

An n-bit comparator:

Ordering

BDD Size

a0

a1

a2

0

1

O(n)

Interleaving ordering

from MSB to LSB

BDD

0

1

a0

b0

a1

0

1

Non-interleaving

ordering

O(2n)

1

0

Previous slide

Next slide

Back to the first slide

View Graphic Version