发送短信 : Methods For Simplification And Estimation Of Digital Circuit Complexities Using Binary Decision Diagrams