Automated ECO system using BDD