"Advanced BDD Optimization" - читать интересную книгу автора (Rudiger Ebendt, Görschwin Fey, Rolf Drechsler)