"Advanced BDD optimization" - читать интересную книгу автора (Rüdiger Ebendt; Görschwin Fey; Rolf Drechsler )