Transistor-level CMOS gate models for timing analysis and simulation | IEEE Conference Publication | IEEE Xplore