The proceedings of GSLV '94, held at the U. of Notre Dame (South Bend, Indiana) in March 1994, comprise technical papers in sessions on high-level synthesis and verification, systolic arrays/fault tolerance, theoretical results in routing, logic synthesis, MCM/high-performance architectures, application-specific design, routing algorithms, circuit