Digital timing macromodeling for VLSI design verification - Kong, Jeong-Taek, 1959- (Kluwer Academic, 1995)