RTL-to-Gates Synthesis using Synopsys Design Compiler