High-Quality Circuit Synthesis for Modern Technologies | IEEE Conference Publication | IEEE Xplore