Proceedings 1987 Electronic Design Automation Conf.