Circuit Power Consumption Estimation Method Based on ROBDD