ACM IEEE Design Automation Conference (31st 1994 San Diego, Calif.)