ACM IEEE Design Automation Conference (24th 1987 Miami Beach, Fla.)