Design Automation Conference (ASME) (13th 1987 Boston, Mass.)