Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)