Equation based timing: methodology and model for cell libraries | IEEE Conference Publication | IEEE Xplore