LiveSynth: Towards an interactive synthesis flow | IEEE Conference Publication | IEEE Xplore