Towards the Design Automation of Quantum Circuits