Digital Timing Macromodeling for VLSI Design Verification (The Springer International Series in Engineering and Computer Science, 319) | EKB DL