Digital timing macromodeling for VLSI design verification - Kong, Jeong-Taek 1959-; Overhauser, David 1961-. (Boston Kluwer Academic, 1995)
Keywords: Integrated circuits -- Very large scale integration -- Design and construction -- Data processing; Integrated circuits -- Verification -- Data processing; Computer-aided design