Advanced Logic Synthesis For Electronics