Multi-level simulation for VLSI design - Hill, Dwight D. (The Kluwer international series in engineering and computer science. VLSI, computer architecture, and digital signal processing, 1987)