The electronic design automation handbook / edited by Dirk Jansen. - Jansen, Dirk (Kluwer Academic, 2003)