New Synthesis Tool Improves RTL Productivity and Quality of Results