RTL-to-GatesSynthesisusingSynopsysDesignCompiler