CAD tool for Logic Minimization