Title: Advances in Design Automation - 1993 (Advances in Design Automation - 1993)