Advancing Quality of EDA Software (invited). - Giora Ben-Yaacov; Pramod Suratkar; Marsha Holliday; Karen Bartleson (ISQED, 2002)