SPICE-based Tool for Static CMOS Propagation Time Extraction | IEEE Conference Publication | IEEE Xplore