Digital Timing Macromodeling for VLSI Design Verification: 319 (The Springer International Series in Engineering and Computer Science)