Synthesis: its evolution and what you can do with it today | IEEE Conference Publication | IEEE Xplore