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