Design BDD