TY  - BOOK
AU  - Kong, Jeong-Taek
AU  - Overhauser, David
TI  - Digital timing macromodeling for VLSI design verification
SN  - 9780792395805
SN  - 95015414
U1  - 621.395001 KON 
PY  - 1995///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic
KW  - Integrated circuits - Verification - Data processing
KW  - Integrated circuits - Very large scale integration - Computer-aided design
N1  - Includes bibliographical references (p. 231-259) and index
ER  -