TETA: Transistor-level waveform evaluation for timing analysisEmrah AcarFlorentin Dartuet al.2002IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems