"Logic Synthesis and Verification Algorithms " - читать интересную книгу автора (Gary D. Hachtel, Fabio Somenzi)