Digital Timing Macromodeling for VLSI Design Verification - häftad, Engelska, 2012