Title: Advances in Design Automation 1994