This course will introduce both the classical and modern logic optimization methods, such as the Quine McCluskey Method, the Espresso algorithm, and various optimizations based on And-Inverter-Graphs. It will also touch upon the whole digital frontend design flow, including HDL processing, standard cell mapping, logic testing and verification.