A general piece-wise nonlinear library modeling format and size reduction technique for gate-level timing, SI, power, and variation analysis | IEEE Conference Publication | IEEE Xplore