Progress in computer-aided VLSI design (Ablex Publ., 1990)