Optimization using implicit techniques for industrial designs

The increasing complexity of industrial designs progressively obsoletes classical Boolean optimization techniques. Thus, the application of Binary Decision Diagrams in Logic Synthesis becomes an attractive alternative to push forward the design complexity. In this paper, we develop new Optimization techniques only based on implicit techniques; all steps were completely reformulated to provide a powerful system.