====== Logic Synthesis Configuration ======