A semi-analytic slope delay model for CMOS switch-level timing verification | IEEE Conference Publication | IEEE Xplore