Delay abstraction in combinational logic circuits. - Noriya Kobayashi; Sharad Malik (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)