An Accurate Delay Modeling Technique for Switch-Level Timing Verification | IEEE Conference Publication | IEEE Xplore