Advanced Logic Synthesis | lit.salon