Logic synthesis and optimization | lit.salon