A Mathematical Model Characterizing Four-Phase MOS Circuits for Logic Simulation | IEEE Journals & Magazine | IEEE Xplore