CloudSynth — Outsourcing hardware synthesis into the cloud | IEEE Conference Publication | IEEE Xplore