Title: Proceedings of the 1987 Electronic Design AutomationConference