Multi-level simulation for VLSI design - Hill, Dwight D. (Kluwer Academic Publishers, 1987)