High Level Exploration of Quantum-Dot Cellular Automata (QCA) | IEEE Conference Publication | IEEE Xplore