Design Automation Conference (ASME) (20th 1994 Minneapolis, Minn.)