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