of the Second All-Union Coordinating Meeting on the problem of VLSI design automation (Kiev, March 15-17, 1977)