Logic synthesis and verification algorithms - Hachtel, Gary D.; Somenzi, Fabio (Kluwer, 2003)