Logic synthesis | lit.salon