Timing analysis of combinational circuits using Weights Binary Decision Diagram (WBDD) | IEEE Conference Publication | IEEE Xplore