Design automation. Proceedings - IEEE Conference on design automation (15 1978 Las Vegas) (New York IEEE, 1978)