Advanced Techniques in Logic Synthesis Optimizations and Applications