update BDD
update BDD