Analysis and synthesis of quantum circuits by using quantum decision diagrams