The electronic design automation handbook. - Jansen, Dirk, (Kluwer Academic Publishers, 2003)